Directory listing for lambdabot-4.1 source tarball
lambdabot-4.1/scripts/Djinn/
- Djinn.hs
- HCheck.hs
- HTypes.hs
- Help.hs
- LICENSE
- LJT.hs
- LJTFormula.hs
- LJTParse.hs
- MJ.hs
- MLJT.hs
- Makefile
- MonadBFS.hs
- NEWS
- Poly.hs
- REPL.hs
- Setup.lhs
- TODO
- Util.hs
- djinn.cabal
- examples
- examples.out
- ljt.p
- verbose-help
- Util/
- tests/
- Makefile
- Test.hs
- testfiles.all
- testfiles.fast
- ljt/
- con_n.002.ljt
- con_n.006.ljt
- con_n.010.ljt
- con_p.002.ljt
- con_p.006.ljt
- con_p.010.ljt
- debruijn_n.002.ljt
- debruijn_n.006.ljt
- debruijn_n.010.ljt
- debruijn_p.002.ljt
- debruijn_p.006.ljt
- debruijn_p.010.ljt
- equiv_n.002.ljt
- equiv_n.006.ljt
- equiv_n.010.ljt
- equiv_p.002.ljt
- equiv_p.006.ljt
- equiv_p.010.ljt
- kk_n.002.ljt
- kk_n.006.ljt
- kk_n.010.ljt
- kk_p.002.ljt
- kk_p.006.ljt
- kk_p.010.ljt
- ph_n.002.ljt
- ph_n.006.ljt
- ph_n.010.ljt
- ph_p.002.ljt
- ph_p.006.ljt
- ph_p.010.ljt
- sch_ax.ljt
- sch_implies.ljt
- sch_jens_prop.ljt
- sch_mult.002.ljt
- sch_mult.003.ljt
- sch_mult.004.ljt
- sch_notnot.ljt
- sch_notnot2.ljt
- sch_prop_n.001.ljt
- sch_prop_n.002.ljt
- sch_prop_n.003.ljt
- sch_prop_n.004.ljt
- schwicht_n.002.ljt
- schwicht_n.006.ljt
- schwicht_n.010.ljt
- schwicht_p.002.ljt
- schwicht_p.006.ljt
- schwicht_p.010.ljt