06:34:41 eihrul joined #tunes 07:02:18 [QUIT] eihrul quit: Leaving 07:14:38 [QUIT] gREMLiNs quit: Ping timeout for gREMLiNs[195.252.64.53] 07:32:15 bineng joined #tunes 08:14:48 ult joined #tunes 08:19:11 [QUIT] JALH quit: BitchX: more nutritious than a six-pack. 08:53:07 eihrul joined #tunes 08:54:55 [QUIT] gREMLiNs quit: I am one who is many 09:06:47 [QUIT] JALH quit: brb 09:06:55 Fufie joined #tunes 09:07:24 Fufie left #tunes 10:10:09 ult joined #tunes 11:29:05 eihrul joined #tunes 12:12:52 samx joined #tunes 12:16:10 [QUIT] eihrul quit: Leaving 13:33:06 eihrul joined #tunes 15:05:50 dec joined #tunes 15:06:02 [QUIT] fuckmicrosoft quit: Ping timeout for fuckmicrosoft[195.252.66.60] 15:08:02 dec left #tunes 15:56:09 skulcrak joined #tunes 15:56:21 [QUIT] eihrul quit: Leaving 15:56:23 we talkin about music? 15:57:07 Fare joined #tunes 15:57:59 [QUIT] kc5tja quit: THX QSO ES 73 DE KC5TJA/6 CL ES QRT (xchat) 15:58:44 hello? 15:59:13 scipient joined #tunes 16:01:12 hello? 16:02:11 what'''s goin on? 16:02:20 Smoking crack 16:02:29 ok 16:03:22 do you know the tunes project? 16:03:55 no 16:04:09 what is it? 16:05:01 http://tunes.org/ 16:05:10 nruticat joined #tunes 16:05:15 hi 16:05:44 i just went to it 16:05:54 so? 16:06:47 skulcrak left #tunes 16:07:40 Fare, what do you think would be the most important languages to learn about in order to learn the important conceptual bases of Tunes (esp. reflection & proofs)? 16:08:31 abi joined #tunes 16:09:59 clog joined #tunes 16:23:45 nruticat joined #tunes 16:48:35 XeF4 joined #tunes 16:49:42 http://www.tunes.org/papers/Glossary/Review/VMs.html linked from the Glossary 'lambda calculus' entry returns 404 16:50:55 should be /Review/VMs.html instead of Review/VMs.html 16:52:14 or ../../ 16:53:00 aha! 16:56:04 lar1 joined #tunes 16:58:36 ult joined #tunes 17:07:37 [QUIT] abi quit: barnes.openprojects.net varley.openprojects.net 17:07:37 [QUIT] clog quit: barnes.openprojects.net varley.openprojects.net 17:07:37 [QUIT] ult quit: barnes.openprojects.net varley.openprojects.net 17:14:05 ult joined #tunes 17:25:41 clog joined #tunes 17:29:59 [TOPIC] ChanServ: http://tunes.org/ 17:35:43 [QUIT] MysticOne quit: See ya! 18:15:09 Kyle joined #tunes 18:54:27 eihrul joined #tunes 18:57:05 [QUIT] nruticat quit: Leaving 20:10:07 ganjamon joined #tunes 20:10:09 ganjamon left #tunes 23:15:34 [QUIT] lar1 quit: Night 01:12:51 smkl joined #tunes