GF Implementation of (approximate) Agda Concrete & Abstract Syntax
Primary LanguageAgda
No one’s star this repository yet.