search

mortberg / cubicaltt

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

Emacs mode updates #50

Closed david-christiansen closed 8 years ago

david-christiansen commented 8 years ago

When I submitted the Emacs mode to MELPA, they did a little code review and suggested some updates to the Emacs mode. Here they are. The code is now simpler, and it follows Emacs conventions more closely.

Discussion at MELPA: https://github.com/melpa/melpa/pull/4078

mortberg commented 8 years ago

Sorry for taking some time to merge, but I've been travelling without proper internet.