[Haskell-cafe] Interest in typed relational algebra library?

oleg at okmij.org oleg at okmij.org
Tue Jul 10 10:55:32 CEST 2012

> And yes to first order predicate calculus too!

Just two weeks ago Chung-chieh Shan and I were explaining at NASSLLI
the embedding in Haskell of the higher-order predicate logic with two
base types (so-called Ty2). The embedding supports type-safe
simplification of formulas (which was really needed for our
applications). The embedding is extensible: you can add models and
more constants.


More information about the Haskell-Cafe mailing list