Tasty » Adam Sampson's static bookmarks

Neil Mitchell - Catch: Case Totality Checker for Haskell

Unfortunately this uses Yhc, and I doubt somewhat that Yhc can compile Tock yet (given that GHC barely manages it)...

to haskell research static ... on 23 July 2007