00:00:00 --- log: started haskell/02.02.28 00:00:21 I asked one question, then did something tangentially related 00:02:01 ok....none of that worked... 00:02:23 seems like there's a "one thing per line" rule, but I don't have my finger on it quite yet 00:02:37 the parser's been pointing to = signs 00:03:15 yes, one function per line. In some cases you can use { ; } to separate things also. But it's almost never a good idea 00:03:30 it uses layout rules, things that are indented the same are related 00:03:54 like python, where it's a requirement, or like.... 00:04:03 yes, like python 00:04:06 aaah 00:04:12 indentation is god, got it... 00:04:46 Well, can't help you much more now. Got to work. 00:04:53 thanks a lot 01:02:04 --- quit: comatoast ("Whoosh!") 02:37:38 --- join: Yurik (~yrashk@gw.telcos.net.ua) joined #haskell 02:37:57 hi 06:28:24 --- quit: jewel (Read error: 113 (No route to host)) 07:02:08 --- join: jewel (~jleuner@spamisevil.test.ie.vianw.net) joined #haskell 09:41:01 --- quit: Yurik ("reboot") 09:53:54 --- join: ski (~md9slj@fraggel37.mdstud.chalmers.se) joined #haskell 09:54:24 hi 09:57:04 är det kombinatorn? 09:57:31 dennisb : ja 09:57:49 nice, what's up on fraggel? 09:58:24 dennisb : just sat down at the computer here at uni now .. 09:58:35 I've been to MC today 09:58:53 You're at MC 09:58:56 ? 09:58:56 Yes 09:59:02 nice 09:59:08 (but I just got home) 09:59:24 ok 10:00:56 i found an interesting paper about extensions vs. intensions, modal logic and associated programming, yester-yesterday. i think i'll have to look more into this :) 10:01:08 sounds fun 10:01:57 it was only a tutorial paper, though. some things seemed related to reflection but i could of course be worng. 10:01:58 I've read something about that (some time ago), could it have been written by Lamport?? 10:02:11 lemme see .. 10:02:37 I don't remember much though... 10:03:16 try walid taha's meta-ml stuff 10:03:58 "Intensional Logic in Context", William W. Wadge. found it at http://omega.cse.unsw.edu.au/~plaice/intensional/ 10:05:30 is it related to intension ? 10:05:49 google brings up multi-stage programming .. 10:07:49 probably not, but it's related to modal logic 10:08:07 ok 12:59:14 --- quit: Jiriki (Read error: 104 (Connection reset by peer)) 12:59:18 --- join: Jiriki (sjh@207.164.213.80) joined #haskell 15:58:50 --- join: jao (jao@62-36-168-124.dialup.uni2.es) joined #haskell 16:32:49 --- quit: xbill ("Leaving") 16:56:58 --- join: xbill (wli@DOMINIA.MIT.EDU) joined #haskell 16:59:45 --- join: kepler (~kepler@user-vcauhmd.dsl.mindspring.com) joined #haskell 17:32:45 --- join: roodbaard (roodbaard@sdn-ar-001flgainP243.dialsprint.net) joined #haskell 17:40:45 --- part: roodbaard left #haskell 19:24:57 --- join: kjs3 (~foo@att-98-101-45.atl.mediaone.net) joined #haskell 19:41:15 --- part: kjs3 left #haskell 20:02:37 --- quit: kepler (Read error: 104 (Connection reset by peer)) 20:04:04 --- join: kepler (~kepler@user-vcauhdk.dsl.mindspring.com) joined #haskell 20:48:46 --- join: clausen (~andrew@c17997.eburwd3.vic.optusnet.com.au) joined #haskell 21:08:27 --- quit: clausen (Remote closed the connection) 21:09:31 --- join: clausen (~andrew@c17997.eburwd3.vic.optusnet.com.au) joined #haskell 21:14:30 --- join: kepler_ (~kepler@user-vcaugsp.dsl.mindspring.com) joined #haskell 21:29:38 --- quit: kepler (Read error: 110 (Connection timed out)) 21:39:59 --- quit: ski ("zzzzz") 23:59:59 --- log: ended haskell/02.02.28