Ancestors

Toot

Written by aramya on 2025-02-01 at 01:42

https://github.com/thamugadi/mltt-c

it's the first time i implement a dependent type theory and the language i've chosen to do this is obviously C :rpog:

=> More informations about this toot | More toots from aramya@pandasemi.co

Descendants

Written by aramya on 2025-02-01 at 01:47

note that i'm deeply unaware of standard practices and that I especially tried to do this by reading mltt presentation in HoTT, TAPL and a few existing examples on github

don't hesitate to let me know if some cases wouldn't work :)

=> More informations about this toot | More toots from aramya@pandasemi.co