Toot

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 | View the thread | More toots from aramya@pandasemi.co

Mentions

Tags