Interpreting Haskell Inside PostgreSQL With Singleton Types

ocharles.org.uk

4 pointszeckalpha1 comment

I look forward to plhaskell. Great to see a practical use case for dependent typing!