- GlasgowHaskell - [[Hugs]] - The Haskell Road to Logic, Maths and Programming: -- http://homepages.cwi.nl/~jve/HR/ - Haskell and Mathematics - Haskell wiki -- http://www.haskell.org/haskellwiki/Haskell_and_mathematics