cubical-syntax
Playing around seeing if Cubical Agda helps with defining abstract syntax
Playing around seeing if Cubical Agda helps with defining abstract syntax
Playing around seeing if Cubical Agda helps with defining abstract syntax
Playing around seeing if Cubical Agda helps with defining abstract syntax
MIT License