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

dysinger / agda-haskell-c-ffi-layer-cake Public

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

Notifications

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

No releases published

No packages published