Giters

thelastjosh / contracts-algebra

Analysis of clause contracts using open games engine

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

contracts-algebra

Analysis of clause contracts using open games engine

About

Analysis of clause contracts using open games engine

Languages

Language:Haskell 100.0%