01:27:57 [QUIT] air quit: http://www.qzx.com/ :: sleep
01:36:29 Ghyll joined #tunes
06:50:30 eihrul joined #tunes
07:08:33 [QUIT] eihrul quit: Leaving
07:23:26 hcf joined #tunes
07:59:58 smoke joined #tunes
08:00:03 <smoke> hi
08:10:17 [QUIT] JALH quit: brb
09:41:07 [QUIT] JALH quit: brb
09:57:27 eihrul joined #tunes
10:18:34 [QUIT] avoozl quit: Ping timeout for avoozl[10dyn197.delft.casema.net]
10:19:12 avoozl joined #tunes
10:28:30 [NICK] avoozl changed nick to: smoke
11:04:23 hcf joined #tunes
11:09:51 <hcf> abi: morphe is a constraint-based OOPL at http://www.csl.sony.co.jp/project/Morphe/ ftp.sonycsl.co.jp/CSL/soft/morphe-0.1.tar.Z
11:09:52 <hcf> abi: ALF is a language which combines functional and logic programming techniques at http://www-i2.informatik.rwth-aachen.de/~hanus/systems/ALF.html
11:09:55 <hcf> abi: ccpl is Common Composer's Programming Language at http://www.speech.kth.se/~peter_l/projects/ccpl.html
11:09:56 <hcf> abi: cosy is at http://www.beamtheory.nscl.msu.edu/cosy/
11:10:00 <hcf> abi: eden is a parallel functional language at http://www.mathematik.uni-marburg.de/inf/eden/index.html
11:10:00 <hcf> abi: clarity is a functional schematic PL at http://www.sis.port.ac.uk/research/clarity/
11:10:03 <hcf> icac, papers, http://danae.uni-muenster.de/lehre/kuchen/papersFL.html http://www.mathematik.uni-marburg.de/~loogen/research.html http://www.research.microsoft.com/~rehof/publications.html
11:16:38 [QUIT] smoke quit: Ping timeout for smoke[10dyn197.delft.casema.net]
11:30:25 smoke joined #tunes
11:31:07 eihrul joined #tunes
12:17:09 [QUIT] eihrul quit: Leaving
12:18:14 [QUIT] smoke quit: Ping timeout for smoke[10dyn43.delft.casema.net]
12:25:16 [QUIT] _ruiner_ quit: Leaving
12:33:20 [QUIT] morton quit: time to go
12:36:43 ult joined #tunes
12:37:38 [QUIT] Ghyll quit: Ping timeout for Ghyll[janus.prosalg.no]
12:42:45 Ghyll joined #tunes
13:08:19 [NICK] cor[study] changed nick to: lmaxson
13:08:31 [NICK] lmaxson changed nick to: cor
13:32:09 eihrul joined #tunes
14:48:29 snelle joined #tunes
14:48:36 snelle left #tunes
14:58:28 [QUIT] hcf quit: Leaving
15:06:22 eihrul joined #tunes
15:06:25 eihrul left #tunes
15:38:52 XeF4 joined #tunes
15:38:57 <XeF4> abi, schemeos
15:43:08 nojityi joined #tunes
16:01:24 [QUIT] nate37 quit: [BX] Everybody was Kung Fu fighting!
17:52:46 nate37 joined #tunes
18:02:49 Kyle joined #tunes
18:25:31 [QUIT] Kyle quit: Leaving
18:26:32 [NICK] ink|simpsons changed nick to: ink
19:06:28 [QUIT] nojityi quit: Read error to nojityi[209-6-184-134.c3-0.wth-ubr1.sbo-wth.ma.cable.rcn.com]: EOF from client
19:25:24 nojityi joined #tunes
19:45:48 [QUIT] nojityi quit: Read error to nojityi[209-6-184-134.c3-0.wth-ubr1.sbo-wth.ma.cable.rcn.com]: EOF from client
19:56:37 [NICK] lar1 changed nick to: lar[dinner]
19:59:58 [QUIT] rares quit: [x]chat
20:02:34 [NICK] ink|walking_cleo_the_dog changed nick to: ink
21:09:09 [NICK] ink[jack_in_the_crack] changed nick to: ink
22:21:02 Tril joined #tunes
22:21:02 [MODE] ChanServ set mode: +o Tril
22:21:09 <nate37> hey Tril 
22:21:22 <Tril> hi
00:11:56 [QUIT] Ghyll quit: fastlane.openprojects.net lackey.openprojects.net