toytt/bin, branch main toy implementation of dependent type theory http://git.mal.tc/toytt/atom/bin?h=main 2024-06-23T22:16:55Z 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 keep track of bound names everywhere to be able to output names instead of de bruijn indices 2024-06-22T23:36:48Z Malte Voos git@mal.tc 2024-06-22T23:36:48Z urn:sha1:8d40541003736d5319ec981278338e8c8c66daf6 implement typechecking 2024-06-17T15:41:38Z Malte Voos git@mal.tc 2024-06-17T15:41:38Z urn:sha1:04d62df9fdd42c603fad7bb1b5e3fb49bf8550c1 add type universe to grammar 2024-02-16T15:18:32Z Malte Voos git@mal.tc 2024-02-16T15:18:32Z urn:sha1:169ff6c0d196246e28c4413b43895ad5a377a2e5 basic lexer and parser 2024-02-15T23:43:04Z Malte Voos git@mal.tc 2024-02-15T23:43:04Z urn:sha1:06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2 init 2024-02-11T17:21:52Z Malte Voos git@mal.tc 2024-02-11T17:21:52Z urn:sha1:2bc6cae2458ba5f9573985791536618a00cbed8a