Compiler implementation in Agda, inspired by Benjamin Lerner's slithery compilers course
Primary LanguageAgda