search

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory
https://arxiv.org/abs/1611.02108
MIT License
571 stars 76 forks source link

Vim syntax file #88

Closed cangiuli closed 7 years ago

cangiuli commented 7 years ago

Here's a rudimentary Vim syntax file for cubicaltt (just highlighting; no SLIME features).

I've also deleted the nonexistent primitive keyword from the Emacs mode.

mortberg commented 7 years ago

Thanks!