andreasabel

Haskell implementation of the Edinburgh Logical Framework

A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).

Simple conversion from Agda text to literate Agda text.