agda2scheme icon indicating copy to clipboard operation
agda2scheme copied to clipboard

Published 20 hours ago • verified publisher icon jespercockx
→

Metadata

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.

← Metadata

25
Stars
4
Forks
Watchers

Owner

verified publisher icon jespercockx

Metadata

Compiler backend for generating Scheme code

Back