Directory listing for lambdabot-4.1 source tarball
lambdabot-4.1/
- AUTHORS
- Boot.hs
- COMMANDS
- COMMENTARY
- Config.hs
- DMain.hs
- DynModules.hs
- IRCBase.hs
- LBState.hs
- LICENSE
- LMain.hs
- Lambdabot.hs
- Main.hs
- Makefile
- Message.hs
- Modules.hs
- Modules.hs-boot
- NickEq.hs
- Plugin.hs
- README
- STYLE
- Setup.hs
- Shared.hs
- build
- config.h.in
- configure
- configure.ac
- ghci
- lambdabot.cabal
- lambdabot.cabal.ghc-6.4
- online.rc
- online2.rc
- Lib/
- Plugin/
- Activity.hs
- BF.hs
- Babel.hs
- Base.hs
- Check.hs
- Code.hs
- Compose.hs
- DarcsPatchWatch.hs
- Dice.hs
- Dict.hs
- Djinn.hs
- Dummy.hs
- Dynamic.hs
- Elite.hs
- Eval.hs
- FT.hs
- Fact.hs
- Figlet.hs
- Filter.hs
- Free.hs
- Fresh.hs
- Haddock.hs
- Hello.hs
- Help.hs
- Hoogle.hs
- IRC.hs
- Instances.hs
- Karma.hs
- Localtime.hs
- Log.hs
- Maya.hs
- More.hs
- OEIS.hs
- OfflineRC.hs
- Paste.hs
- Pl.hs
- Pointful.hs
- Poll.hs
- Pretty.hs
- Quote.hs
- Search.hs
- Seen.hs
- Slap.hs
- Small.hs
- Source.hs
- Spell.hs
- State.hs
- System.hs
- Tell.hs
- Todo.hs
- Topic.hs
- Type.hs
- UnMtl.hs
- Undo.hs
- Unlambda.hs
- Url.hs
- Version.hs
- Vixen.hs
- Where.hs
- Dict/
- Dummy/
- Free/
- Pl/
- Quote/
- State/
- scripts/
- BF.hs
- BotPP.hs
- GenHaddock.hs
- LargeWord.hs
- QuickCheck.hs
- RunPlugs.hs
- RunSmallCheck.hs
- ShowFun.hs
- ShowQ.hs
- SimpleReflect.hs
- SmallCheck.hs
- Unlambda.hs
- gnuplot.script
- timein
- 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
- FT/
- hoogle/
- vim/
- testsuite/