https://bugzilla.redhat.com/show_bug.cgi?id=710383
--- Comment #3 from Shakthi Kannan shakthimaan@gmail.com --- Even though the hackage page doesn't mention it, the Agda stdlib are required for Agda-executable:
http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
These need to be made available for use with the command line tool. For example, in the following example the IO module is provided by the Agda stdlib:
=== TEST CODE ===
open import IO
main : _ main = run (putStrLn "Hello world!")
=== END ===
Gentoo (for example) has an ebuild for the same:
http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/sci-mathematics/agda...
haskell-devel@lists.fedoraproject.org