GitHub repository: lemastero/agda2scheme
Primary language: Haskell
Description: Compiler backend for generating Scheme code