• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for twee-0.1 source tarball

twee-0.1/

• LICENSE
• README
• Setup.hs
• twee.cabal
• executable/
  • Main.hs
• src/
  • Twee.hs
  • errors.h
  • Twee/
    • Array.hs
    • Base.hs
    • Constraints.hs
    • Index.hs
    • Indexes.hs
    • KBO.hs
    • LPO.hs
    • Label.hs
    • Pretty.hs
    • Queue.hs
    • Rule.hs
    • Term.hs
    • Utils.hs
    • Term/
      • Core.hs
• tests/
  • ROB007-1.p
  • abelian.p
  • and-or.p
  • append-rev.p
  • diff.p
  • groupoid.p
  • lat.p
  • lcl.p
  • length.p
  • length2.p
  • length3.p
  • loop.p
  • loop2.p
  • lukasiewicz.p
  • martin-nipkow-2.p
  • martin-nipkow.p
  • nand.p
  • nicomachus.p
  • plus-combinator.p
  • plus-times.p
  • plus.p
  • pretty.p
  • ring.p
  • ring2.p
  • ring3.p
  • ring4.p
  • robbins-easy.p
  • robbins-hard.p
  • robbins-quite-hard.p
  • robbins2.p
  • semigroup.p
  • semigroup2.p
  • winkler-easy.p
  • winkler.p
  • winkler2.p
  • y-easier.p
  • y-hard.p
  • y-inconsistent.p
  • y-really-hard.p
  • y.p