Capturing Number Theory in Haskell
bor0.wordpress.com