00:40:37 [QUIT] hcf quit: Leaving 01:51:41 nate37 joined #tunes 02:25:08 smkl joined #tunes 05:35:33 eihrul joined #tunes 05:54:32 [QUIT] JALH quit: Ping timeout for JALH[host213-1-72-233.btinternet.com] 09:38:55 [QUIT] Downix quit: Read error to Downix[frednet-mcm-e-015.students.frednet.uwrf.edu]: EOF from client 13:37:16 hcf joined #tunes 14:46:19 [QUIT] JALH quit: g'night. have fnu 15:08:24 lar1 joined #tunes 15:08:44 lar1 left #tunes 15:49:36 corey left #tunes 16:33:59 water joined #tunes 16:34:14 hello! 16:34:33 [QUIT] air quit: zheng.openprojects.net irc.linux.com 16:34:33 [QUIT] abi quit: zheng.openprojects.net irc.linux.com 16:34:33 [QUIT] _ruiner_ quit: zheng.openprojects.net irc.linux.com 16:34:57 abi joined #tunes 16:35:39 Kyle_L joined #tunes 16:35:46 kyle 16:35:49 hi 16:36:03 water is just now getting his email for the last 10 days 16:37:38 damn it, i missed corey 17:31:24 [TOPIC] water: TUNES: Free Reflective Computing System http://www.tunes.org || Slate Programming Language http://www.tunes.org/~water/slate-home.html || http://lambda.weblogs.com || http://www.brics.dk/~pado2/ 17:41:56 [QUIT] ink quit: Killed (NickServ (GHOST command used by ink_)) 17:42:05 [NICK] ink_ changed nick to: ink 18:12:24 hcf joined #tunes 18:15:13 hey hcf 18:15:30 note the pado2 link in the topic 18:29:44 noted 18:30:02 [QUIT] morton quit: Read error to morton[freenet.nether.net]: EOF from client 18:49:07 Kyle_L joined #tunes 18:49:12 re kyle 18:49:22 hi again 19:33:51 abi: pebook is Partial Evaluation and Automatic Program Generation at http://www.dina.kvl.dk/~sestoft/pebook/pebook.html 19:34:10 hm 19:34:27 u mentioned that on 2000.08.04 19:34:41 yeah i never got around to finishing reading it 19:35:36 i found it by going to the 'Neil Jones' page on the pado2 page 19:40:20 corey joined #tunes 19:41:37 lar1 joined #tunes 19:41:43 lar1 left #tunes 19:42:12 hey corey 19:43:09 icuc, in case u mist any, a summary of urls i'v pasted, http://www.cs.indiana.edu/hyplan/jsobel/ http://citeseer.nj.nec.com/56113.html 19:43:10 http://citeseer.nj.nec.com/249454.html http://www.csd.uwo.ca/~wade/Research/Phd/index.html http://www.cs.ualberta.ca/~candy/ 19:44:57 thx 19:46:07 hm time to order a pizza and settle in for the night 19:46:43 is this memorial day weekend or something? 19:47:03 i can't tell... i only get 20 hours off ;) 19:47:51 damn, so many papers, so little time 19:48:24 well i finally sat down and made sure that i grokked ML and Haskell in full 19:48:44 it took a while, and there were some definite drawbacks 19:49:28 like fp's consistent assumption that you shouldn't want to meddle with primitive types 19:50:15 i also printed out Tunes HLL req's and specs and ideas and started annotating them... reading them on paper is definitely helpful 19:51:20 in a few minutes, i'll be ready to discuss things, if anyone is around 19:51:52 ping? 19:55:17 pong 19:55:27 heh ok i guess this means i should put together an e-mail ;) 19:55:35 ) 19:55:58 kyle: no offense, but the replies from Fare and Jecel were much more helpful than yours 19:56:06 (concerning quotation) 19:56:38 I know. 20:31:40 hm 21:25:34 XeF4 joined #tunes 21:38:23 hey xef4 22:17:10 lar1 joined #tunes 22:17:25 lar1 left #tunes 23:03:20 water joined #tunes 23:05:28 [TOPIC] water: TUNES: Free Reflective Computing System http://www.tunes.org || Slate Programming Language http://www.tunes.org/~water/slate-home.html || http://lambda.weblogs.com || http://www.brics.dk/~pado2/ 23:50:11 witten joined #tunes 23:50:19 hey witten 23:50:24 hey water 23:50:27 long time no irc 23:50:58 yeah i've been busy at work 23:51:38 no time to waste on programming language theory? :) 23:51:52 oh there's always time for that 23:52:24 hehe 03:31:25 water: you've been away for a while.