3 ms·Interpreting Haskell Inside PostgreSQL With Singleton Types4 points by zeckalpha 13y agozeckalpha 13y agoI look forward to plhaskell. Great to see a practical use case for dependent typing!