Type Theorists need to take a look at Zig(pure-systems.org)
pure-systems.org
Type Theorists need to take a look at Zig
https://pure-systems.org/posts/2026-03-27-the-type-theorists-need-to-take-a-look-at-zig.html
1 comments
Some shameless self-promotion