An attempt to implement a dependently-typed language https://git.tomsmeding.com/miniagda/atom/.gitignore?h=master 2023-12-21T21:45:10Z 2023-12-21T21:45:10Z Tom Smeding tom@tomsmeding.com 2023-12-21T21:45:10Z urn:sha1:2872a9a18519d41e110c5cea36172935b64edfde