Search results
From HaskellWiki
You searched for Lambdabot.
There is no page titled "Lambdabot.".
For more information about searching HaskellWiki, see Help.
Showing below up to 20 results starting with #1.
View (previous 20) (next 20) (20 | 50 | 100 | 250 | 500)
Page title matches
- Lambdabot (3,912 bytes)
1: [[Image:lambdabot.png|Lambdabot]]
3: Lambdabot is an IRC bot written over several years by those...
6: Lambdabot's source is available via a [http://darcs.net dar...
7: repository, [http://code.haskell.org/lambdabot here]
9: Lambdabot is written in Haskell, and supports plugins for a... - Lambdabot/Building (1,778 bytes)
1: Unfortunately, some of the packages that [[Lambdabot]] depends on in [[Hackage]] do not, as of 9 Janua...
4: == To compile lambdabot on ghc >=6.10, follow the following steps ==
10: darcs get http://code.haskell.org/lambdabot
27: Apply a patch to lambdabot and install it:
29: cd lambdabot
Page text matches
- Hoogle (17,309 bytes)
14: ... [[IRC channel|Haskell IRC channel]], using the [[Lambdabot]] plugin, <tt>@hoogle</tt> and <tt>@hoogle+</tt> - HIDE (24,523 bytes)
23: ...nsable plugin-based design using hs-plugins (like lambdabot)
24: * Distributed development using darcs (again like lambdabot)
278: ... and [http://www.cse.unsw.edu.au/~dons/lambdabot/ lambdabot] source code - useful for understanding the dynam... - Humor (3,679 bytes)
37: ...bdabot's]] [http://www.cse.unsw.edu.au/~dons/code/lambdabot/State/quote quotes archive]. - Haskell in practice (13,964 bytes)
64: <dt>[[Lambdabot]]<dd>A large IRC bot, dynamically extensible via ... - QuotesPage (54,289 bytes)
433: <SyntaxNinja> it is a little disturbing when lambdabot starts channeling shapr
434: ...iastradh> What about when shapr starts channeling lambdabot?
663: <dash> what's wrong with lambdabot?
952: <lambdabot> I'm sitting on my SPEED QUEEN ... To me, it'...
953: <lambdabot> ... I'm VIBRATORY ... - Old news (77,599 bytes)
212: ...ge-scripts/package/goa-3.0 goa]: GHCi bindings to lambdabot.</p></li>
253: <li><p><em>lambdabot 4.1</em>. Uploaded by Gwern Branwen.
254: ...org/cgi-bin/hackage-scripts/package/lambdabot-4.1 lambdabot]: A multi-talented IRC bot.</p></li> - IRC channel (8,512 bytes)
11: resident is [[Lambdabot]], another is [http://hpaste.org hpaste] (see
139: ...For those, who prefer good ol' IRC channel with a lambdabot.
218: === lambdabot ===
220: ...to ghci. Details on the software are found on a [[Lambdabot|separate wiki page]].
224: lambdabot's commands are prepended by a '@' sign. - Applications and libraries/Network (6,268 bytes)
39: ;[[Lambdabot]] - Pointfree (10,742 bytes)
72: [http://www.cse.unsw.edu.au/~dons/code/lambdabot/Plugins/Pl/ written] a
73: [http://haskell.org/haskellwiki/Lambdabot Lambdabot] - Lambdabot (3,912 bytes)
1: [[Image:lambdabot.png|Lambdabot]]
3: Lambdabot is an IRC bot written over several years by those...
6: Lambdabot's source is available via a [http://darcs.net dar...
7: repository, [http://code.haskell.org/lambdabot here]
9: Lambdabot is written in Haskell, and supports plugins for a... - Combinatory logic (40,070 bytes)
33: ...lementation of Unlambda in Haskell], for use by [[Lambdabot]] - Applications and libraries/Program development (18,921 bytes)
81: ;[[Lambdabot]]
82: :Lambdabot is a large, ad-hoc collection of Haskell developm... - Indent (2,941 bytes)
109: ===Lambdabot===
111: [[Lambdabot]] has a pretty printing plugin that can be used f...
114: lambdabot> pretty main=let{x=7;y=3;z=4}in case x+y of { _|z... - News/2005 (27,581 bytes)
471: <li><em>lambdabot 3.0</em>. Don Stewart
473: ...bdabot is dynamically loaded over a static core. Lambdabot also features persistent state -- knowledge accum... - Darcs repositories (3,081 bytes)
36: ...[http://www.cse.unsw.edu.au/~dons/code/lambdabot/ Lambdabot], an irc bot - Example code (6,309 bytes)
82: ..., an IRC bot ([http://www.haskell.org/haskellwiki/Lambdabot home]) - Safely running untrusted Haskell code (4,905 bytes)
4: == Verifying safety : lambdabot's approach ==
6: Since 2004, lambdabot has executed arbitrary strings of Haskell provide...
17: ...efers to the old Lambdabot evaluator; as of 2009, lambdabot calls out to [http://hackage.haskell.org/package/...
25: * [http://www.cse.unsw.edu.au/~dons/code/lambdabot/Plugin/Eval.hs Driver/simple verifier]
26: * [http://www.cse.unsw.edu.au/~dons/code/lambdabot/scripts/RunPlugs.hs Evaluator binary] - Hoogle/Specs (4,988 bytes)
19: other "haddock" "Lambdabot says http://haskell.org/haddock" - GHC/GHCi (14,057 bytes)
105: ...ambdabot features. It does pretty much anything [[lambdabot]] does, just nicely embedded inside your GHCi.
154: $ cabal install lambdabot
162: :def bs lambdabot "botsnack"
163: :def pl lambdabot "pl"
164: :def unpl lambdabot "unpl" - Roll your own IRC bot (19,096 bytes)
480: * Port some commands from [[Lambdabot]].
View (previous 20) (next 20) (20 | 50 | 100 | 250 | 500)
