toytt/src/error/dune, branch main
toy implementation of dependent type theory
http://git.mal.tc/toytt/atom/src/error/dune?h=main
2024-07-08T20:10:12Z
rename Ident -> Name
2024-07-08T20:10:12Z
Malte Voos
git@mal.tc
2024-07-08T20:10:12Z
urn:sha1:66cf5d3c5fff84a1cac333c1aa81a8e1f21ee6f4
rename: Reporter -> Error
2024-06-23T22:24:24Z
Malte Voos
git@mal.tc
2024-06-23T22:24:24Z
urn:sha1:b34ebf3fe3ecaf292be873d231dd54c80f16ad07