toytt/.gitignore, branch main toy implementation of dependent type theory http://git.mal.tc/toytt/atom/.gitignore?h=main 2024-02-11T17:21:52Z init 2024-02-11T17:21:52Z Malte Voos git@mal.tc 2024-02-11T17:21:52Z urn:sha1:2bc6cae2458ba5f9573985791536618a00cbed8a