https://bugzilla.redhat.com/show_bug.cgi?id=710383
--- Comment #4 from Jens Petersen petersen@redhat.com --- Yeah it would be good to add the stdlib too. I have a draft package of it though Agda doesn't have proper packaging conventions yet.
Actually Agda is needed to compile stdlib (at least to generate the interface files) so I think this package will still come before Agda-stdlib even if it is not very useful without it.
Also I verified that Agda doesn't seem to need ghc-Agda-devel: it is dynamically linked to ghc-Agda anyway.
I think the example above does not compile with Agda-2.3? but the example from http://strugglingthroughproblems.blogspot.in/2012/03/agda-as-programming-lan... you found might with stdlib-0.6.
haskell-devel@lists.fedoraproject.org