search

RedPRL / redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Apache License 2.0
204 stars 12 forks source link

Is there editor support for .red code? #485

Closed JuhoKupiainen closed 4 years ago

clayrat commented 4 years ago

See the emacs and vim folders in this repo; there's also https://github.com/clayrat/language-redtt for VSCode with some basic syntax highlighting