Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
app		app
src		src
test		test
.gitignore		.gitignore
README.md		README.md
agda2scheme.cabal		agda2scheme.cabal

Repository files navigation

agda2scheme: An Agda backend for Chez Scheme

This is a work in progress on compiling Agda to Chez Scheme.

About

Compiler backend for generating Scheme code

30 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages