Thanks for all the replies I got, they have been helpful!
Cheers, Gerwin _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
- [Haskell] translating Haskell into theorem provers Gerwin Klein
- Re: [Haskell] translating Haskell into theorem p... Donald Bruce Stewart
- Re: [Haskell] translating Haskell into theorem p... Till Mossakowski
- Re: [Haskell] translating Haskell into theorem p... S.J.Thompson
- Re: [Haskell] translating Haskell into theor... Gerwin Klein
