toytt/LICENSE, branch main toy implementation of dependent type theory init 2024-02-11T17:21:52+00:00 Malte Voos git@mal.tc 2024-02-11T17:21:52+00:00 2bc6cae2458ba5f9573985791536618a00cbed8a