jochembroekhoff/agda2scheme

Compiler backend for generating Scheme code

agda2scheme: An Agda backend for Chez Scheme

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