#principia on 2018-07-20 — irc logs at esper.irclog.whitequark.org

2018-06-21 22:06 egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Dedekind. We currently target 1.3.1, and 1.4.3. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/

00:02 N70 has quit [Ping timeout: 202 seconds]

00:03 N70 has joined #principia

02:00 rsparkyc has joined #principia

04:15 rsparkyc has quit [Quit: rsparkyc]

05:02 NolanSyKinsley has quit [Remote host closed the connection]

05:02 NolanSyKinsley has joined #principia

05:28 Wetmelon has quit [Ping timeout: 194 seconds]

06:47 Jesin has quit [Ping timeout: 202 seconds]

08:13 NolanSyKinsley has quit [Ping timeout: 186 seconds]

08:19 NolanSyKinsley has joined #principia

09:34 NolanSyKinsley has quit [Remote host closed the connection]

13:06 rsparkyc has joined #principia

15:14 NolanSyKinsley has joined #principia

15:14 NolanSyKinsley has quit [Read error: Connection reset by peer]

15:15 NolanSyKinsley has joined #principia

17:12 Majiir has quit [Ping timeout: 194 seconds]

17:14 Snoozee has joined #principia

17:14 Snoozee is now known as Majiir

18:23 ferram4 has quit [Ping timeout: 202 seconds]

18:29 ferram4 has joined #principia

18:34 Daz has quit [Remote host closed the connection]

18:35 Daz has joined #principia

20:53 rsparkyc has quit [Quit: rsparkyc]

22:33 Wetmelon has joined #principia

22:36 awang_ has quit [Ping timeout: 198 seconds]

22:36 awang has joined #principia