haskell-relational-record/DB-record
2013-06-01 17:47:23 +09:00
..
debian Update description and debianizations. 2013-05-16 17:38:34 +09:00
src/Database Update docuemnts of proof objects for convertion into SQL type. 2013-06-01 17:47:23 +09:00
DB-record.cabal Pass '-Wall' switch to GHC. 2013-05-30 00:44:40 +09:00
GNUmakefile Divide abstract record type constraints definitions into DB-record module. 2013-04-13 19:24:06 +09:00
LICENSE Divide abstract record type constraints definitions into DB-record module. 2013-04-13 19:24:06 +09:00
Setup.hs Divide abstract record type constraints definitions into DB-record module. 2013-04-13 19:24:06 +09:00