toytt/src/pretty/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
implement top-level definitions
2024-07-08T20:01:42+00:00
Malte Voos
git@mal.tc
2024-07-08T20:01:42+00:00
97f84ccace4e634b4e02178a702818e69292dc9f
rename: Reporter -> Error
2024-06-23T22:24:24+00:00
Malte Voos
git@mal.tc
2024-06-23T22:24:24+00:00
b34ebf3fe3ecaf292be873d231dd54c80f16ad07
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