Type Theorists need to take a look at Zig

3 pointsposted 12 hours ago
by doyougnu
(pure-systems.org)

1 Comments

doyougnu

12 hours ago

Some shameless self-promotion