Directory listing for compdata-0.6 source tarball
compdata-0.6/
- LICENSE
- Setup.hs
- compdata.cabal
- benchmark/
- examples/
- src/
- Data/
- Comp.hs
- Comp/
- Algebra.hs
- Annotation.hs
- Arbitrary.hs
- Automata.hs
- Decompose.hs
- DeepSeq.hs
- Derive.hs
- Desugar.hs
- Equality.hs
- Generic.hs
- Matching.hs
- Multi.hs
- MultiParam.hs
- Number.hs
- Ops.hs
- Ordering.hs
- Param.hs
- Show.hs
- Sum.hs
- Term.hs
- TermRewriting.hs
- Thunk.hs
- Unification.hs
- Variables.hs
- Automata/
- Derive/
- Multi/
- MultiParam/
- Param/
- Data/
- testsuite/