Move to latest LTS - Githubissues

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory

https://arxiv.org/abs/1611.02108

MIT License

571 stars 76 forks source link

Closed iho closed 1 year ago

iho commented 1 year ago

Hi @mortberg ! Closes https://github.com/mortberg/cubicaltt/issues/122 Please merge my pull request.

mortberg commented 1 year ago

Thanks! I'm happy someone is still interested in using this old project

5HT commented 1 year ago

Well, that's our main educational tool! :-)