00:02 (quit) jeapostrophe: Client Quit
00:09 (join) deren
00:10 deren: Hi all. Can anyone tell me how to typeset math in scribble? Specifically something like \frac. I feel like I've searched the documentation forever.
00:18 (join) jonrafkind
00:30 (quit) asumu: Read error: Connection reset by peer
00:51 (quit) deren: Quit: Page closed
01:56 (join) rbarraud__
02:00 (quit) rbarraud_: Ping timeout: 276 seconds
02:02 (quit) rbarraud__: Ping timeout: 276 seconds
02:19 (join) samth
02:26 (quit) samth: Ping timeout: 240 seconds
02:59 (quit) jonrafkind: Ping timeout: 276 seconds
03:04 (join) samth
03:33 (join) rbarraud__
04:09 (quit) samth: Ping timeout: 240 seconds
04:13 (join) stamourv
04:17 (join) samth
04:34 (quit) samth: Ping timeout: 255 seconds
05:20 (quit) jao: Ping timeout: 265 seconds
05:29 (part) stamourv: "ERC Version 5.3 (IRC client for Emacs)"
05:38 (join) samth
05:42 (join) stamourv
06:09 (quit) rbarraud__: Ping timeout: 276 seconds
06:27 (quit) evhan: Ping timeout: 240 seconds
06:28 (join) evhan
06:39 (join) jao
06:43 (part) stamourv: "ERC Version 5.3 (IRC client for Emacs)"
06:44 (join) mao_
07:01 (quit) samth: Ping timeout: 265 seconds
08:01 (join) jeapostrophe
08:06 (join) samth
08:33 (join) stamourv
08:37 (quit) jeapostrophe: Quit: jeapostrophe
08:53 (join) jeapostrophe
08:58 (quit) samth: Quit: Ex-Chat
09:07 (join) asumu
09:08 (quit) hellmage: Ping timeout: 276 seconds
09:11 (join) hanDerPeder
09:12 (quit) chturne: Remote host closed the connection
09:13 (join) chturne
09:17 (join) hellmage
09:24 (part) stamourv: "ERC Version 5.3 (IRC client for Emacs)"
09:33 (quit) jeapostrophe: Quit: jeapostrophe
10:44 (join) chouser
10:50 (quit) asumu: Read error: Connection reset by peer
10:50 chouser: I've never used racket but am curious about typed/racket
10:50 offby1: so am I.
10:50 chouser: Can I mix typed and untyped code in the same program?
10:50 offby1: samth is occasionally here, and I think he's the brains behind it
10:50 offby1: chouser: yes.
10:51 offby1: I think it's like regular racket, except you have the option of declaring the types of function arguments.
10:51 (join) spidermario
10:51 offby1: and, presumably, you'll see type errors at compile time, not at runtime.  Hooray!
10:51 chouser: can I mix typed and untyped code in the same file?
10:51 offby1: http://docs.racket-lang.org/ts-guide/index.html
10:51 offby1: I think so.
10:51 chouser: the quick start says "change the language to typed/racket" which sounds kind of ... exclusive.
10:53 offby1: I assume that you can leave type annotations off some functions
10:54 chouser: ah
10:54 chouser: ok, configuring and building now ... we'll see.  Thanks!
10:55 clklein: chouser: I'm not sure if you can write untyped code *inside* a typed module, but you can definitely write *typed* code inside an untyped module
10:55 clklein: http://docs.racket-lang.org/ts-reference/index.html?q=untyped#%28part._.Typed_.Regions%29
10:55 (notice) rudybot: http://tinyurl.com/24s3rrr
10:55 clklein: And you can definitely require untyped code into your typed module.
10:56 chouser: ok, fascinating.
11:02 (quit) chturne: Remote host closed the connection
11:05 (join) jeapostrophe
11:07 (join) sstrickl
11:14 (quit) mao_: Ping timeout: 272 seconds
11:16 (join) mao_
11:21 (quit) mao_: Remote host closed the connection
11:21 (join) mao_
11:22 (join) anRch
11:26 (quit) jao: Ping timeout: 252 seconds
11:29 (join) mcarter
11:48 (join) jonrafkind
11:53 (join) asumu
12:15 (quit) anRch: Quit: anRch
12:25 (join) anRch
12:28 (quit) jonrafkind: Read error: Connection reset by peer
12:28 (join) jonrafkind
12:49 (quit) jeapostrophe: Quit: jeapostrophe
12:52 (quit) anRch: Quit: anRch
13:51 chouser: I can't find a way to choose typed/racket in DrRacket -- any tips?
13:52 chouser: it doesn't appear in the UI as far as I can see, and typing #lang typed/racket seems to eat my REPL
13:55 asumu: chouser: Are you typing it in the interactions window? You want to type that in the definitions window.
13:56 asumu: (and run)
13:57 chouser: ah!
13:57 chouser: perfect, thanks.
14:01 (quit) mcarter: Remote host closed the connection
14:24 (join) jao
14:31 (quit) spidermario: Remote host closed the connection
14:37 (quit) hellmage: Ping timeout: 276 seconds
15:17 (join) jeapostrophe
15:39 (join) Dragonlive64
15:40 (join) b-man_
16:21 (quit) jeapostrophe: Quit: jeapostrophe
16:29 (quit) b-man_: Read error: Connection reset by peer
16:43 (join) hellmage
17:32 (join) jeapostrophe
17:45 (quit) emma: Remote host closed the connection
17:52 (join) emma
17:57 (quit) emma: Ping timeout: 260 seconds
17:58 (join) emma
18:06 (quit) jeapostrophe: Quit: jeapostrophe
18:09 (quit) emma: Ping timeout: 240 seconds
18:21 (join) emma
18:55 (quit) asumu: Ping timeout: 245 seconds
19:33 (quit) sstrickl: Quit: sstrickl
19:45 (join) b-man_
19:47 (quit) jay-mccarthy: Ping timeout: 255 seconds
19:54 (join) asumu
19:57 (quit) jonrafkind: Read error: Connection reset by peer
19:57 (join) jonrafkind
19:57 (quit) jonrafkind: Read error: Connection reset by peer
19:57 (join) jay-mccarthy
19:58 (join) jonrafkind
20:03 (join) rbarraud__
20:10 (quit) b-man_: Ping timeout: 276 seconds
20:14 (quit) jonrafkind: Read error: Connection reset by peer
20:14 (join) jonrafkind
20:43 (quit) hanDerPeder: Quit: hanDerPeder
21:10 (join) jeapostrophe
21:12 Lajla: jonrafkind, have you ennumerated all computable funtions in the most optimal way already so we can start working on making a port for racket to the MacBook Wheel?
21:13 jonrafkind: uh yea, ive been doing cat /dev/urandom > x.ss and testing if it runs
21:13 jonrafkind: so far ive generated windows 7 and duke nukem forever
21:14 Lajla: Ahahahahaha
21:14 Lajla: jonrafkind, it's coming
21:14 Lajla: This guy had a t-shirt
21:14 Lajla: Therefore it is coming
21:18 (quit) jonrafkind: Ping timeout: 276 seconds
21:55 (join) offby2
21:57 (quit) offby2: Client Quit
22:16 (quit) jeapostrophe: Quit: jeapostrophe
22:23 (join) jonrafkind
23:15 (quit) Dragonlive64: Quit: Leaving
23:19 (join) jeapostrophe
23:22 (quit) jeapostrophe: Client Quit
23:57 (join) jeapostrophe
23:59 (quit) jeapostrophe: Client Quit