/tron-haskell

A deterministic annotated algebraic-data language for capturing specification in Haskell

MIT LicenseMIT

No issues in this repository yet.