miniagda/app, branch master
An attempt to implement a dependently-typed language
https://git.tomsmeding.com/miniagda/atom/app?h=master
2024-01-08T21:06:17Z
One/Unit
2024-01-08T21:06:17Z
Tom Smeding
tom@tomsmeding.com
2024-01-08T21:06:17Z
urn:sha1:870351e3a2f735678bd21d80083f0327b21fc588
Can typecheck universe-polymorphic id
2023-12-23T22:12:07Z
Tom Smeding
tom@tomsmeding.com
2023-12-23T22:12:03Z
urn:sha1:ae603f2423e967c55dfd31b0dec26d19584aa322
Initial
2023-12-21T21:45:10Z
Tom Smeding
tom@tomsmeding.com
2023-12-21T21:45:10Z
urn:sha1:2872a9a18519d41e110c5cea36172935b64edfde