On Thu, Nov 10, 2011 at 02:31:54PM -0800, Bernardo Barros wrote: > Drop Agda and adopt Leksah and qtHaskell. =)
Unfortunately neither is likely to happen as it is right now: - Leksah is even more of a pain than Agda, due to the amazingly long list of dependencies and the upstream maintainers lack of speed in keeping up with new versions. It was in for a little while, but was later deleted. - qtHaskell is not on Hackage. /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: mag...@therning.org jabber: mag...@therning.org twitter: magthe http://therning.org/magnus Most software today is very much like an Egyptian pyramid with millions of bricks piled on top of each other, with no structural integrity, but just done by brute force and thousands of slaves. -- Alan Kay
pgp9kIVmU9lQq.pgp
Description: PGP signature
_______________________________________________ arch-haskell mailing list arch-haskell@haskell.org http://www.haskell.org/mailman/listinfo/arch-haskell