Type Theorists need to take a look at Zig

by doyougnu | View on Hacker News