asajeffrey / cubical-syntax

Playing around seeing if Cubical Agda helps with defining abstract syntax

Geek Repo

Github PK Tool