[Bug 710383] Review Request: Agda - Commandline for dependently typed functional language

[bugzilla at redhat.com]

https://bugzilla.redhat.com/show_bug.cgi?id=710383

--- Comment #4 from Jens Petersen <petersen at 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-language-hello.html
you found might with stdlib-0.6.

-- 
You are receiving this mail because:
You are on the CC list for the bug.