00:18:46 -!- RedDak has quit (Remote closed the connection).
00:21:14 -!- andreou has quit ("[BX] Time wasted: 23 days 3 hours 13 minutes 49 seconds 17 milliseconds").
00:43:53 -!- cherez has quit (Read error: 110 (Connection timed out)).
00:45:21 -!- cherez has joined.
01:42:49 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
02:13:38 -!- pikhq has joined.
02:16:06 -!- calamari has quit ("Leaving").
02:21:36 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
02:23:22 -!- oklopol has joined.
03:13:58 -!- jix has quit (Nick collision from services.).
03:14:08 -!- jix has joined.
03:43:37 -!- jix has quit ("CommandQ").
04:03:20 -!- oerjan has joined.
06:14:57 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:27:28 -!- sebbu2 has joined.
08:43:25 -!- sebbu has quit (Read error: 110 (Connection timed out)).
09:53:27 -!- oerjan has quit ("leaving").
10:58:50 -!- RedDak has joined.
15:31:54 -!- RedDak has quit (Remote closed the connection).
16:20:48 -!- jix has joined.
16:34:29 -!- oerjan has joined.
18:10:37 -!- SimonRC has quit (Read error: 110 (Connection timed out)).
18:56:24 -!- Sgeo has joined.
19:30:46 -!- Samus_ has joined.
19:36:57 -!- Samus_ has left (?).
20:15:04 -!- sebbu has joined.
20:15:13 -!- Slereah- has joined.
20:15:21 <Slereah-> <Slereah> Would Y (^nmf.(iszero m)(n)(succ((fn)(pred m)))) be a valid definition for addition?
20:16:08 <Slereah-> Although I guess it should be ^fnm instead
20:19:52 -!- Slereah has quit (Nick collision from services.).
20:19:56 -!- Slereah- has changed nick to Slereah.
20:21:11 -!- faxathisia has quit ("Leaving").
20:31:21 -!- sebbu2 has quit (Connection timed out).
20:40:53 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)).
20:56:34 -!- oerjan has quit ("Good night").
21:12:00 -!- jix has quit (Nick collision from services.).
21:12:10 -!- jix has joined.
22:35:24 -!- jix has quit ("CommandQ").
22:35:50 -!- jix has joined.
22:45:24 -!- CakeProphet has joined.
23:02:53 -!- faxathisia has joined.
23:07:51 <Slereah> http://membres.lycos.fr/bewulf/Russell/Pred.jpg
23:09:22 <CakeProphet> to replace all isntances of one string with another in all files in the current directory and its subdirectories
23:11:33 -!- RedDak has joined.
23:29:05 -!- jfm3 has joined.
23:31:00 -!- jfm3 has left (?).
23:41:03 <CakeProphet> I have discovered the awesomeness of pipes and xarg.
23:43:47 -!- chere1 has joined.
23:44:18 -!- cherez has quit (Read error: 110 (Connection timed out)).
23:44:27 -!- jix has quit ("CommandQ").
23:46:57 -!- chere1 has left (?).