4 ms·I look forward to plhaskell. Great to see a practical use case for dependent typing!by zeckalpha 13y agoI look forward to plhaskell. Great to see a practical use case for dependent typing!