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