/haskellmaths

Works from Exercises in Doets and van Eijck's /The Haskell Road to Logic, Maths and Programming/

Primary LanguageHaskell

Work from exercises in The Haskell Road to Logic, Maths and Programming by Kees Doets and Jan van Eijck