Drop Agda and adopt Leksah and qtHaskell. =)
_______________________________________________ arch-haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/arch-haskell
- [arch-haskell] How to determine whether a package is ... Magnus Therning
- Re: [arch-haskell] How to determine whether a pa... Felipe Almeida Lessa
- Re: [arch-haskell] How to determine whether ... Bernardo Barros
- Re: [arch-haskell] How to determine whet... Magnus Therning
- Re: [arch-haskell] How to determine ... Magnus Therning
- Re: [arch-haskell] How to determine ... Bernardo Barros
- Re: [arch-haskell] How to deter... Magnus Therning
- Re: [arch-haskell] How to determine whether ... gdweber
- Re: [arch-haskell] How to determine whether a pa... Nicolas Pouillard
- Re: [arch-haskell] How to determine whether ... Magnus Therning
- Re: [arch-haskell] How to determine whet... Magnus Therning
- Re: [arch-haskell] How to determine ... Nicolas Pouillard
- Re: [arch-haskell] How to determine whether a pa... Leif Warner
