Postdoc at the Laboratory for Foundations of Computer Science, University of Edinburgh
-
University of Edinburgh
- https://www.jsigal.com
Highlights
- Pro
Stars
5
stars
written in OCaml
Clear filter
A ML-like pure functional language that can be used as a template for creating your own language
A derivation explorer and logger for menhir parser