D

dependent-haskell

Use dependent types for proofs and others.