00:00:00 --- log: started forth/21.07.26
01:38:05 --- join: Glider_IRC_ joined #forth
01:40:59 --- quit: Glider_IRC__ (Ping timeout: 120 seconds)
03:14:08 --- join: Glider_IRC__ joined #forth
03:16:59 --- quit: Glider_IRC_ (Ping timeout: 120 seconds)
05:15:59 --- quit: a3f (Ping timeout: 120 seconds)
05:16:08 --- join: a3f joined #forth
05:36:49 --- quit: Glider_IRC__ (Connection closed)
05:40:40 --- join: Glider_IRC joined #forth
09:34:04 --- quit: cbridge_ (Quit: bye)
09:34:16 --- join: cbridge_ joined #forth
14:22:11 --- join: blackbeard420 joined #forth
14:24:48 --- quit: blackbeard420 (Quit: ZNC 1.8.2 - https://znc.in)
15:11:09 --- join: j0anna joined #forth
15:14:02 --- join: Glider_IRC_ joined #forth
15:16:55 --- quit: Glider_IRC (Ping timeout: 120 seconds)
16:31:59 --- quit: Vedran (Quit: Ping timeout (120 seconds))
16:34:38 --- join: Vedran joined #forth
16:55:04 --- join: X-Scale` joined #forth
16:56:34 --- quit: X-Scale (Ping timeout: 120 seconds)
16:56:34 --- nick: X-Scale` -> X-Scale
19:15:08 <cbridge_> <dave0> maw
19:24:31 --- join: Glider_IRC__ joined #forth
19:27:25 --- quit: Glider_IRC_ (Ping timeout: 120 seconds)
21:33:23 <cbridge_> <remexre> briefly
21:33:30 <cbridge_> <remexre> was pretty nice, but when it failed it went into a hole
21:33:44 <cbridge_> <remexre> oh huh
21:34:35 <cbridge_> <remexre> haven't tried it; does it come up in the later SF volumes?
21:35:53 <cbridge_> <remexre> rip, ok, I'll keep that in mind
21:40:44 <cbridge_> <remexre> that sure is notation :P
21:41:24 <cbridge_> <remexre> I think I need to learn ssreflect before I can parse proofs with it lol
21:46:26 --- quit: Vedran (Quit: Ping timeout (120 seconds))
21:46:43 --- join: Vedran joined #forth
22:08:14 <cbridge_> <dave0> re maw
23:59:59 --- log: ended forth/21.07.26