GitHub - dysinger/agda-haskell-c-ffi-layer-cake: Demostration of FFI from Agda -> Haskell -> C in one project · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
include		include
src		src
.gitignore		.gitignore
Makefile		Makefile

About

Demostration of FFI from Agda -> Haskell -> C in one project

Report repository

Releases

No releases published

Packages

Contributors

Languages