This repository includes joined query generator baseed on typefull relational algebra, and mapping tool between SQL values list and Haskell record type.
Code for 'Software foundations'
Small examples of proof object programming.
Stub generation against DB schema
Bracketed HDBC session for HaskellDB.
Haskell beginners meeting
Documents for GHC source code reading party.
meeting reading PFDS
Haskell day 2012-05-27 presentation.
Copy of forked at http://github.com/khibino/ghc-mod