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

Directory listing for twee-2.0 source tarball

twee-2.0/

• LICENSE
• README
• Setup.hs
• twee.cabal
• executable/
  • Main.hs
• src/
  • Twee.hs
  • Data/
    • Primitive/
      • Checked.hs
      • ByteArray/
        • Checked.hs
      • SmallArray/
        • Checked.hs
  • Twee/
    • Array.hs
    • Base.hs
    • CP.hs
    • ChurchList.hs
    • Constraints.hs
    • Equation.hs
    • Heap.hs
    • Index.hs
    • Join.hs
    • KBO.hs
    • Label.hs
    • Pretty.hs
    • Proof.hs
    • Rule.hs
    • Task.hs
    • Term.hs
    • Utils.hs
    • Index/
      • Lookup.hs
    • Rule/
      • Index.hs
    • Term/
      • Core.hs
• tests/
  • BOO067-1.p
  • LAT072-1.p
  • ROB010-1.p
  • append-rev.p
  • db.p
  • diff.p
  • lat.p
  • lcl.p
  • loop.p
  • loop2.p
  • lukasiewicz.p
  • nand.p
  • nicomachus.p
  • ring.p
  • ring2.p
  • ring3.p
  • ring4.p
  • robbins-easy.p
  • robbins.p
  • semigroup.p
  • semigroup2.p
  • winkler-easy.p
  • winkler.p
  • winkler2.p
  • y.p