CyberCat-Institute/contracts-algebra

Analysis of clause contracts using open games engine

Haskell