Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for compdata-0.4.1 source tarball
compdata-0.4.1/
LICENSE
Setup.hs
compdata.cabal
benchmark/
Benchmark.hs
DataTypes.hs
Functions.hs
Test.hs
Transformations.hs
DataTypes/
Comp.hs
Standard.hs
Transform.hs
Functions/
Comp.hs
Standard.hs
Comp/
Desugar.hs
Eval.hs
FreeVars.hs
Inference.hs
Standard/
Desugar.hs
Eval.hs
FreeVars.hs
Inference.hs
Multi/
DataTypes/
Comp.hs
Functions/
Comp/
Desugar.hs
Eval.hs
examples/
Examples/
Automata.hs
DesugarEval.hs
DesugarPos.hs
Eval.hs
EvalM.hs
Multi/
DesugarEval.hs
DesugarPos.hs
Eval.hs
EvalI.hs
EvalM.hs
MultiParam/
DesugarEval.hs
DesugarPos.hs
Eval.hs
EvalAlgM.hs
EvalI.hs
EvalM.hs
FOL.hs
Param/
DesugarEval.hs
DesugarPos.hs
Eval.hs
EvalAlgM.hs
EvalM.hs
Parsing.hs
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
Ops.hs
Ordering.hs
Param.hs
Show.hs
Sum.hs
Term.hs
TermRewriting.hs
Unification.hs
Variables.hs
Zippable.hs
Automata/
Product.hs
Product/
Derive.hs
Derive/
Arbitrary.hs
DeepSeq.hs
Equality.hs
Foldable.hs
Injections.hs
LiftSum.hs
Ordering.hs
Projections.hs
Show.hs
SmartAConstructors.hs
SmartConstructors.hs
Traversable.hs
Utils.hs
Multi/
Algebra.hs
Annotation.hs
Derive.hs
Desugar.hs
Equality.hs
Foldable.hs
Functor.hs
Generic.hs
Ops.hs
Show.hs
Sum.hs
Term.hs
Traversable.hs
Variables.hs
Derive/
Equality.hs
Foldable.hs
Functor.hs
Injections.hs
LiftSum.hs
Projections.hs
Show.hs
SmartAConstructors.hs
SmartConstructors.hs
Traversable.hs
MultiParam/
Algebra.hs
Annotation.hs
Any.hs
Derive.hs
Desugar.hs
Equality.hs
FreshM.hs
HDifunctor.hs
HDitraversable.hs
Ops.hs
Ordering.hs
Show.hs
Sum.hs
Term.hs
Derive/
Equality.hs
HDifunctor.hs
Injections.hs
LiftSum.hs
Ordering.hs
Projections.hs
Show.hs
SmartAConstructors.hs
SmartConstructors.hs
Param/
Algebra.hs
Annotation.hs
Any.hs
Derive.hs
Desugar.hs
Difunctor.hs
Ditraversable.hs
Equality.hs
FreshM.hs
Ops.hs
Ordering.hs
Show.hs
Sum.hs
Term.hs
Derive/
Difunctor.hs
Ditraversable.hs
Equality.hs
Injections.hs
LiftSum.hs
Ordering.hs
Projections.hs
Show.hs
SmartAConstructors.hs
SmartConstructors.hs
testsuite/
tests/
Data_Test.hs
Data/
Comp_Test.hs
Comp/
Equality_Test.hs
Examples_Test.hs
Examples/
Comp.hs
Multi.hs
MultiParam.hs
Param.hs
Test/
Utils.hs