Type Theorists need to take a look at Zig

 (pure-systems.org)

3 points | by doyougnu 13 hours ago ago

1 comments