Type Theorists need to take a look at Zig(pure-systems.org)
3 pointsby doyougnu11 hours ago1 comment
  • doyougnu11 hours ago
    Some shameless self-promotion