jespercockx / agda2schemeLinks

Compiler backend for generating Scheme code
26Updated last year

Alternatives and similar repositories for agda2scheme

Users that are interested in agda2scheme are comparing it to the libraries listed below

Sorting: