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

Directory listing for twee-2.1.2 source tarball

twee-2.1.2/

• LICENSE
• README.md
• Setup.hs
• twee.cabal
• executable/
  • Main.hs
• misc/
  • analyse_trace.pl
  • bench.hs
  • ring_conn.pl
  • ring_noconn.pl
  • static-libstdc++
  • test.hs
• tests/
  • BOO067-1.p
  • LAT072-1.p
  • ROB010-1.p
  • append-rev.p
  • db.p
  • deriv.p
  • diff.p
  • fol.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