Brendan Zabarauskas@brendanzabReplying to @kamatsu8Now I see a typo haha4:22 AM · May 10, 2022·Twitter Web App1 Like
Brendan Zabarauskas@brendanzab·May 10Replying to @brendanzab and @kamatsu8For those who want to play with it, you can load it from the gist I posted here:gist.github.comMartin-Löf Type Theory in HolbertMartin-Löf Type Theory in Holbert. GitHub Gist: instantly share code, notes, and snippets.2
