search

thibautbenjamin / catt

Coherence typechecker for infinity categories
MIT License
18 stars 2 forks source link

change emacs catt-mode to use prog-mode #36

Closed thibautbenjamin closed 1 year ago