Type Theorists need to take a look at Zig(pure-systems.org)5 points by doyougnu 51 days ago | 1 comment