toytt/src/ast/dune, branch main toy implementation of dependent type theory rename Ident -> Name 2024-07-08T20:10:12+00:00 Malte Voos git@mal.tc 2024-07-08T20:10:12+00:00 66cf5d3c5fff84a1cac333c1aa81a8e1f21ee6f4 






split code into smaller libraries and make a better repl
2024-06-23T22:16:55+00:00

Malte Voos
git@mal.tc

2024-06-23T21:31:59+00:00

5d227bcd0055d02e1d49a3dcd27e80a756923d5b