Initially developed by

Lasse Kristopher Meyer
(as part of a bachelor's project in 2013/2014)

---

Maintained by

Michael Hanus

---

Further links

• Kiel University
• Department of Computer Science
• Research group of Programming Languages and Compiler Construction

---

Powered by