00:00:00 --- log: started forth/10.11.25 00:14:59 no 00:28:37 types aren't needed to formally prove something. 00:28:59 and we do have one type... cells; a number. 04:02:56 appamatto: typed words? Maybe you want factor? 04:29:29 --- quit: schmrkc (Read error: Operation timed out) 04:31:04 --- join: schmrkc (~marcus@sxemacs/devel/schme) joined #forth 05:19:50 --- join: MayDaniel (~MayDaniel@unaffiliated/maydaniel) joined #forth 05:25:19 schmrkc: you know pretty well that SBCL infers types 05:25:40 Does that make SBCL Standard ML implementation? 05:26:28 Does that mean that any SBCL users wants SML/NJ instead? 05:33:42 ASau: always! 05:38:27 --- quit: MayDaniel () 05:47:26 --- quit: ASau (Ping timeout: 245 seconds) 07:19:15 --- join: MayDaniel (~MayDaniel@unaffiliated/maydaniel) joined #forth 07:27:12 --- join: Monev (~nal@67.224.131.9) joined #forth 07:41:46 --- nick: Judofyr_ -> Judofyr 07:56:00 --- quit: MayDaniel (Read error: Connection reset by peer) 07:57:56 --- join: MayDaniel (~MayDaniel@unaffiliated/maydaniel) joined #forth 08:10:38 --- join: ASau (~user@95-28-62-161.broadband.corbina.ru) joined #forth 08:28:53 --- quit: MayDaniel () 10:10:51 --- quit: Deformative (Ping timeout: 252 seconds) 10:44:03 --- join: qFox (~C00K13S@5356B263.cm-6-7c.dynamic.ziggo.nl) joined #forth 11:01:21 --- join: Joseph (~Joseph@c-67-177-129-245.hsd1.mi.comcast.net) joined #forth 11:01:47 --- nick: Joseph -> Guest94030 11:06:23 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 11:31:36 --- join: kar8nga (~kar8nga@m-206.vc-graz.ac.at) joined #forth 11:39:20 --- join: MayDaniel (~MayDaniel@unaffiliated/maydaniel) joined #forth 11:58:33 --- quit: MayDaniel (Read error: Connection reset by peer) 12:29:12 --- join: Deformative (~Joseph@c-67-177-129-245.hsd1.mi.comcast.net) joined #forth 12:32:12 --- quit: Guest94030 (Ping timeout: 252 seconds) 12:45:02 --- join: fantazo (~fantazo@178-191-165-234.adsl.highway.telekom.at) joined #forth 13:36:56 --- quit: Monev (Quit: Monev) 13:40:21 --- quit: fantazo (Remote host closed the connection) 13:56:23 --- quit: ASau (Ping timeout: 240 seconds) 14:44:34 --- quit: kar8nga (Remote host closed the connection) 14:48:52 --- join: borkamaniac (~user@S0106001111de1fc8.cg.shawcable.net) joined #forth 15:00:12 --- join: Joseph (~Joseph@c-67-177-129-245.hsd1.mi.comcast.net) joined #forth 15:00:39 --- nick: Joseph -> Guest51608 15:02:54 --- quit: Deformative (Ping timeout: 252 seconds) 15:33:19 --- part: borkamaniac left #forth 15:44:46 --- quit: segher (Ping timeout: 276 seconds) 15:50:09 --- join: segher (~segher@5ED3C3A7.cm-7-4d.dynamic.ziggo.nl) joined #forth 15:56:28 --- quit: qFox (Read error: Connection reset by peer) 16:15:04 --- quit: ncv (Quit: KVIrc Insomnia 4.0.0, revision: , sources date: 20090520, built on: 2010/07/07 01:16:10 UTC http://www.kvirc.net/) 18:26:05 --- join: ASau (~user@95-28-62-161.broadband.corbina.ru) joined #forth 23:59:59 --- log: ended forth/10.11.25