Drop Agda and adopt Leksah and qtHaskell. =)

_______________________________________________
arch-haskell mailing list
arch-haskell@haskell.org
http://www.haskell.org/mailman/listinfo/arch-haskell

Reply via email to