arthuraa / agda-hoas-demoLinks

Experiments with higher-order abstract syntax in Agda
22Updated 2 years ago

Alternatives and similar repositories for agda-hoas-demo

Users that are interested in agda-hoas-demo are comparing it to the libraries listed below

Sorting: