Directory listing for graph-rewriting-ww-0.3 source tarball
graph-rewriting-ww-0.3/
- GL.hs
- Graph.hs
- LICENSE
- Main.hs
- Resolver.hs
- Rules.hs
- Setup.hs
- Term.hs
- graph-rewriting-ww.cabal
- examples/
- 2times2.l
- Omega.l
- WW-beta-saving-0.l
- WW-beta-saving-1.l
- asperti_guerrini_3011.l
- asperti_guerrini_3011_simpl.l
- asperti_guerrini_3012.l
- asperti_guerrini_p14.l
- case.l
- exp.l
- exp_simpl.l
- fix.l
- flip_const_id.l
- head123.l
- lamping.l
- lamping_p20r_qp.l
- lamping_p20r_qp_simpl.l
- lamping_p20r_qq.l
- lamping_p20r_qq_simpl.l
- lamping_simpl.l
- levy-1988-p184bottom.l
- qp.l
- qq.l
- repeat_naive.l
- repeat_optim.l
- sum.l
- sum1.l
- sum1234.l
- trivial_dup.l
- twice.l
- vincent-0-ww.l
- vincent-1-ww.l
- wadsworth-thesis-p172.l