miniagda/src, branch master
An attempt to implement a dependently-typed language
https://git.tomsmeding.com/miniagda/atom/src?h=master
2024-01-20T22:25:51Z
Some typing rule comments
2024-01-20T22:25:51Z
Tom Smeding
t.j.smeding@uu.nl
2024-01-20T22:25:51Z
urn:sha1:43b4a4e3564c602a0da9c7ea9a6fc8d60087cd6e
Can typecheck universe-polymorphic id
2023-12-23T22:12:07Z
Tom Smeding
tom@tomsmeding.com
2023-12-23T22:12:03Z
urn:sha1:ae603f2423e967c55dfd31b0dec26d19584aa322
Stuff
2023-12-22T22:19:20Z
Tom Smeding
tom@tomsmeding.com
2023-12-22T22:19:20Z
urn:sha1:37acb2efba1cd159bda5d163192e2aba70c4e26b
Initial
2023-12-21T21:45:10Z
Tom Smeding
tom@tomsmeding.com
2023-12-21T21:45:10Z
urn:sha1:2872a9a18519d41e110c5cea36172935b64edfde