toytt/src/bin, branch main
toy implementation of dependent type theory
implement top-level definitions
2024-07-08T20:01:42+00:00
Malte Voos
git@mal.tc
2024-07-08T20:01:42+00:00
97f84ccace4e634b4e02178a702818e69292dc9f
improve error messages
2024-06-30T19:31:53+00:00
Malte Voos
git@mal.tc
2024-06-30T19:31:53+00:00
1b6fc912bfad5a2b0e047835f6778137e4aabe5b
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