The latest version of adp-multi is 0.2.3-0.
lib:adp-multi
Modules
- ADP.Debug
- ADP.Multi.Combinators
- ADP.Multi.Helpers
- ADP.Multi.Parser
- ADP.Multi.Rewriting
- ADP.Multi.Rewriting.ConstraintSolver
- ADP.Multi.Rewriting.Explicit
- ADP.Multi.Rewriting.YieldSize
- ADP.Multi.SimpleParsers
- ADP.Multi.Tabulation
Dependencies
- array lib:array >=0.4 && <0.5
- base lib:base >=4 && <5
- containers lib:containers >=0.4 && <=0.5
- htrace lib:htrace >=0.1 && <0.2
- monadiccp lib:monadiccp >=0.7 && <0.8
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- adp-multi exe:adp-multi-benchmarks
- adp-multi exe:adp-test
- adp-multi test:MainTestSuite