agda-lib-ffi-0.0.2

agda-lib-ffi-0.0.2

Auxiliary Haskell code used by Agda's standard library.

Modules