« Changelog History


liquidhaskell v0.4.0.0 Release Notes

    • 👀 Bounds as an alternative for logical constraints see benchmarks/icfp15/pos/Overview.lhs