Contents
Index
agda-lib-ffi-0.0.2
Index
AgdaEither
Data.FFI
AgdaEmpty
Data.FFI
AgdaIO
IO.FFI
AgdaList
Data.FFI
AgdaMaybe
Data.FFI
AgdaStream
Data.FFI
Cons
Data.FFI
readFiniteFile
IO.FFI