Re: [Haskell-cafe] ANNOUNCE: Guihaskell and PropLang 0.1