00:00:00 --- log: started forth/17.12.05 00:16:39 --- quit: mnemnion (Remote host closed the connection) 00:17:37 --- quit: tusj (Remote host closed the connection) 01:17:47 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:8d50:1984:153b:1c3b) joined #forth 01:22:45 --- quit: mnemnion (Ping timeout: 255 seconds) 01:36:07 --- join: ncv (~neceve@2a02:c7d:c5c9:a900:c792:a3e8:397d:b37) joined #forth 01:36:07 --- quit: ncv (Changing host) 01:36:07 --- join: ncv (~neceve@unaffiliated/neceve) joined #forth 03:19:12 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:8d50:1984:153b:1c3b) joined #forth 03:23:48 --- quit: mnemnion (Ping timeout: 255 seconds) 04:20:32 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:8d50:1984:153b:1c3b) joined #forth 04:25:00 --- quit: mnemnion (Ping timeout: 255 seconds) 04:53:23 --- quit: nighty- (Quit: Disappears in a puff of smoke) 05:20:22 --- quit: jedb (Ping timeout: 248 seconds) 05:21:52 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:8d50:1984:153b:1c3b) joined #forth 05:26:39 --- quit: mnemnion (Ping timeout: 255 seconds) 05:32:57 --- join: jedb (jedb@gateway/vpn/mullvad/x-sxounfkajyopsbfq) joined #forth 06:22:20 --- quit: jedb (Ping timeout: 240 seconds) 06:35:09 --- join: jedb (~jedb@199.66.90.113) joined #forth 07:36:55 --- join: nighty- (~nighty@s229123.ppp.asahi-net.or.jp) joined #forth 08:18:57 --- quit: dys (Ping timeout: 276 seconds) 09:38:32 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:8d50:1984:153b:1c3b) joined #forth 10:39:56 --- quit: ncv (Ping timeout: 260 seconds) 11:09:49 --- quit: bedah (Ping timeout: 255 seconds) 11:10:32 --- join: dys (~dys@tmo-106-230.customers.d1-online.com) joined #forth 11:22:09 --- join: bedah (~bedah@2a02:810d:243f:f584:5dde:393b:a57d:574a) joined #forth 11:46:35 --- quit: mnemnion (Quit: Leaving...) 11:48:46 --- join: mnemnion (~mnemnion@2601:643:8102:7c95:c8e0:3d32:680b:a34e) joined #forth 11:51:56 --- quit: mnemnion (Client Quit) 13:48:56 --- quit: dys (Ping timeout: 260 seconds) 14:59:20 --- join: Gromboli (~Gromboli@static-72-88-80-103.bflony.fios.verizon.net) joined #forth 15:22:57 --- quit: cheater (Ping timeout: 240 seconds) 15:25:36 --- join: cheater (~cheater@unaffiliated/cheater) joined #forth 15:32:05 hi 15:42:44 --- quit: nighty- (Quit: Disappears in a puff of smoke) 16:17:13 --- join: wa5qjh (~Thunderbi@freebsd/user/wa5qjh) joined #forth 16:19:58 --- quit: johnmark_ (Quit: Leaving) 16:40:24 hey 16:45:08 --- quit: wa5qjh (Remote host closed the connection) 16:45:27 --- join: wa5qjh (~Thunderbi@freebsd/user/wa5qjh) joined #forth 17:05:46 --- join: johnmark_ (~johnmark@65.79.1.34) joined #forth 17:07:24 --- quit: cheater (Ping timeout: 260 seconds) 17:09:34 --- join: cheater (~cheater@unaffiliated/cheater) joined #forth 17:16:38 --- join: nighty- (~nighty@kyotolabs.asahinet.com) joined #forth 17:18:47 --- quit: cheater (Ping timeout: 248 seconds) 17:20:50 --- join: cheater (~cheater@unaffiliated/cheater) joined #forth 17:29:37 --- quit: wa5qjh (Remote host closed the connection) 18:08:28 --- join: wa5qjh (~Thunderbi@freebsd/user/wa5qjh) joined #forth 18:16:53 --- quit: wa5qjh (Remote host closed the connection) 18:25:29 hi 18:25:44 are there denotational semantics for forth? 18:49:06 --- quit: johnmark_ (Quit: Leaving) 19:19:20 --- join: johnmark_ (~johnmark@d53-64-121-247.nap.wideopenwest.com) joined #forth 20:13:14 --- quit: reepca (Ping timeout: 240 seconds) 20:13:26 --- quit: proteusguy (Remote host closed the connection) 20:48:24 --- join: proteusguy (~proteus-g@119-46-178-20.static.asianet.co.th) joined #forth 20:48:24 --- mode: ChanServ set +v proteusguy 21:12:58 --- quit: Gromboli (Quit: Leaving) 21:21:24 --- quit: proteusguy (Ping timeout: 240 seconds) 21:38:40 --- join: proteusguy (~proteus-g@119-46-178-20.static.asianet.co.th) joined #forth 21:38:40 --- mode: ChanServ set +v proteusguy 21:58:47 --- join: reepca (~user@208.89.170.230) joined #forth 22:22:00 --- join: dys (~dys@tmo-100-165.customers.d1-online.com) joined #forth 23:26:34 --- quit: dys (Ping timeout: 260 seconds) 23:45:26 --- join: dys (~dys@2003:5b:203b:100:6af7:28ff:fe06:801) joined #forth 23:59:59 --- log: ended forth/17.12.05