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

Directory listing for twee-lib-2.1 source tarball

twee-lib-2.1/

• LICENSE
• README.md
• Setup.hs
• twee-lib.cabal
• misc/
  • analyse_trace.pl
  • bench.hs
  • ring_conn.pl
  • ring_noconn.pl
  • static-libstdc++
  • test.hs
• src/
  • Twee.hs
  • Data/
    • ChurchList.hs
    • DynamicArray.hs
    • Heap.hs
    • Primitive/
      • Checked.hs
      • ByteArray/
        • Checked.hs
      • SmallArray/
        • Checked.hs
  • Twee/
    • Base.hs
    • CP.hs
    • Constraints.hs
    • Equation.hs
    • Index.hs
    • Join.hs
    • KBO.hs
    • Label.hs
    • PassiveQueue.hs
    • Pretty.hs
    • Proof.hs
    • Rule.hs
    • Task.hs
    • Term.hs
    • Utils.hs
    • Rule/
      • Index.hs
    • Term/
      • Core.hs
• tests/
  • BOO067-1.p
  • LAT072-1.p
  • ROB010-1.p
  • append-rev.p
  • db.p
  • deriv.p
  • diff.p
  • group.p
  • lat.p
  • lcl.p
  • loop.p
  • loop2.p
  • lukasiewicz.p
  • minus.p
  • nand.p
  • nicomachus.p
  • ring.p
  • ring2.p
  • ring3.p
  • ring4.p
  • robbins-easy.p
  • robbins.p
  • sam.p
  • semigroup.p
  • semigroup2.p
  • veroff.p
  • winkler-easy.p
  • winkler.p
  • winkler2.p
  • y.p