toytt/src/parser, branch main toy implementation of dependent type theory rename Ident -> Name part 2 2024-07-08T22:18:52+00:00 Malte Voos git@mal.tc 2024-07-08T22:18:52+00:00 91ae576296df72defa2bb9369ac1cfe719f6f9cf 






implement argument lists for top-level definitions
2024-07-08T21:59:31+00:00

Malte Voos
git@mal.tc

2024-07-08T21:59:31+00:00

3cf472b13c9b329b711a5c254fc6f89268a99eda












implement top-level definitions
2024-07-08T20:01:42+00:00

Malte Voos
git@mal.tc

2024-07-08T20:01:42+00:00

97f84ccace4e634b4e02178a702818e69292dc9f












implement syntax for non-dependent function and pair types
2024-06-30T13:07:02+00:00

Malte Voos
git@mal.tc

2024-06-30T13:07:02+00:00

fab70aaf2947ff1369757355fbf11437c6db35ff












rename: Reporter -> Error
2024-06-23T22:24:24+00:00

Malte Voos
git@mal.tc

2024-06-23T22:24:24+00:00

b34ebf3fe3ecaf292be873d231dd54c80f16ad07












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