This is an interpreter for the REC language that I wrote as an assignment for the Software Verification course at University of Padova. It works in denotational semantics and evaluates function calls with the Kleene-Knaster-Tarski fixpoint iteration.
- Menhir
- Zarith