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

Directory listing for graph-rewriting-trs-0.1.5 source tarball

graph-rewriting-trs-0.1.5/

• GL.hs
• Graph.hs
• LICENSE
• Main.hs
• Rules.hs
• Setup.hs
• Term.hs
• TermRewriting.hs
• graph-rewriting-trs.cabal
• examples/
  • add.trs
  • cl.trs
  • mul.trs
  • peano.trs
  • ski.trs