separate syntax highlighting for keywords and builtins - Githubissues

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory

https://arxiv.org/abs/1611.02108

MIT License

571 stars 76 forks source link

separate syntax highlighting for keywords and builtins #76

Closed mikeshulman closed 7 years ago

mikeshulman commented 7 years ago

Fixes #61 .

mortberg commented 7 years ago

Great! Thanks