Dual-calculus is a project mainly written in Haskell, based on the BSD-3-Clause license.

An implementation of the dual calculus in Haskell