search

tsoding / Noq

Simple expression transformer that is not Coq.
MIT License
253 stars 24 forks source link

Update syntax highlighting #3

Open Piturnah opened 2 years ago

Piturnah commented 2 years ago

Highlight reverse symbol and switch order of rule functor and apply strategy

image