Geeks
david-christiansen
/
jonprl-mode
An Emac major mode for writing JonPRL code
Primary Language
Emacs Lisp
jonprl-mode GitHub
Markdown
Readme
12
Issues
8
Stargazers
5
Watchers
Stargazers
aa755msr
Microsoft Research (summer 2015 only)
cpitclaudel
EPFL
edgar-gip
jonsterling
University of Cambridge
jozefg
Aarhus
liamwigney
markfarrell
Canada
vrahli
University of Birmingham