toytt/lib/dune, branch main toy implementation of dependent type theory 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 






implement typechecking
2024-06-17T15:41:38+00:00

Malte Voos
git@mal.tc

2024-06-17T15:41:38+00:00

04d62df9fdd42c603fad7bb1b5e3fb49bf8550c1












use yuujinchou for identifiers
2024-02-20T13:00:27+00:00

Malte Voos
git@mal.tc

2024-02-20T13:00:27+00:00

4b2a72d01b48b9e5fd4743b98b0c6bf6422cfc0c












basic lexer and parser
2024-02-15T23:43:04+00:00

Malte Voos
git@mal.tc

2024-02-15T23:43:04+00:00

06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2












init
2024-02-11T17:21:52+00:00

Malte Voos
git@mal.tc

2024-02-11T17:21:52+00:00

2bc6cae2458ba5f9573985791536618a00cbed8a