miniagda, branch master
An attempt to implement a dependently-typed language
https://git.tomsmeding.com/miniagda/atom/?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
Some W-type notes
2024-01-09T21:36:53Z
Tom Smeding
tom@tomsmeding.com
2024-01-09T21:36:53Z
urn:sha1:07a64a3096b1e48fd240d19e51f3448dd9402787
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
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