summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Thanks to vikraman: The agda-lib-ffi package provides some additional haskell...Mark Wright2013-12-101-0/+82