GitHub - lawcho/agda2c: Agda to C compiler

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
agda-src		agda-src
bubs @ 40ac506		bubs @ 40ac506
fptalk		fptalk
.agda-lib		.agda-lib
.gitignore		.gitignore
.gitmodules		.gitmodules
agda2c.hs		agda2c.hs
rpp-test.sh		rpp-test.sh
test.sh		test.sh

About

Agda to C compiler

Report repository

Releases

No releases published

Packages

No packages published

Languages