toytt/src/reporter, branch main

toytt/src/reporter, branch main toy implementation of dependent type theory http://git.mal.tc/toytt/atom/src/reporter?h=main 2024-06-23T22:24:24Z rename: Reporter -> Error 2024-06-23T22:24:24Z Malte Voos git@mal.tc 2024-06-23T22:24:24Z urn:sha1:b34ebf3fe3ecaf292be873d231dd54c80f16ad07 split code into smaller libraries and make a better repl 2024-06-23T22:16:55Z Malte Voos git@mal.tc 2024-06-23T21:31:59Z urn:sha1:5d227bcd0055d02e1d49a3dcd27e80a756923d5b