linting emacs code (UGH!!!)

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

linting emacs code (UGH!!!) #397

Closed jonsterling closed 5 years ago

jonsterling commented 5 years ago

This is some bureaucratic requirement from melpa. Also, I hate that I have to capitalize redtt in the stupid comments, but that is also required (LOL).