toytt/src/error, 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
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