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