search

simhu / cubical

Implementation of Univalence in Cubical Sets
MIT License
145 stars 10 forks source link

Remove duplicate keyword `data` in `cubical.el` #7

Closed pthariensflame closed 10 years ago

pthariensflame commented 10 years ago

The keyword data was duplicated in the file defining the emacs mode.