Programming at the specification level with Haskell (fixed URL)
fpcomplete.com