Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for quickspec-0.9.6 source tarball
quickspec-0.9.6/
LICENSE
README.asciidoc
Setup.hs
quickspec.cabal
examples/
Arith.hs
Arrays.hs
Bools.hs
Composition.hs
Heaps.hs
Lists.hs
PrettyPrinting.hs
TinyWM.hs
src/
Test/
QuickSpec.hs
QuickSpec/
Approximate.hs
Equation.hs
Generate.hs
Main.hs
Prelude.hs
Signature.hs
Term.hs
TestTotality.hs
TestTree.hs
Utils.hs
errors.h
Reasoning/
CongruenceClosure.hs
NaiveEquationalReasoning.hs
PartialEquationalReasoning.hs
UnionFind.hs
Utils/
MemoValuation.hs
TypeMap.hs
TypeRel.hs
Typeable.hs
Typed.hs