@hackage safe-coupling dependencies

13 results

Rewriting library with online termination checking

Probabilistic Functional Programming

Liquid Types for Haskell

General utility modules for LiquidHaskell

LiquidHaskell specs for the containers package

Drop-in base replacement for LiquidHaskell

HUnit support for the Tasty test framework.

Modern and extensible testing framework

A Haskell sorting toolkit

Relational proof system for probabilistic algorithms

Probabilistic Functional Programming

Drop-in base replacement for LiquidHaskell

A unit testing framework for Haskell