[email protected]
Sydney, Australia
The Discus Language
The Disco Discus Compiler
discus-lang
Coq formalizations of functional languages.
The compilation target that functional programmers always wanted.
