search

easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt
30 stars 1 forks source link

syntax highlighting for interpreter scripts and UC file frame #46

Closed alleystoughton closed 9 months ago

alleystoughton commented 10 months ago

It would be good to have syntax highlighting for interpreter scripts and UC file frame. For the latter, maybe we can borrow from ucdsl-mode.el?