Interpreting Haskell Inside PostgreSQL With Singleton Typeshttp://ocharles.org.uk/blog/posts/2014-02-25-dependent-types-and-plhaskell.html by zeckalpha • 12 years ago 4 1 12 years agoOCocharles.org.uk