Lists (1)
Stars
10
stars
written in Agda
Clear filter
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
Learn the Agda basics in three 2-hour sessions.
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
Tutorial series introducing Agda to the people at BCAM
AACMM's generic-syntax, but with QTT-style annotations