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/
awang has quit [Ping timeout: 186 seconds]
rsparkyc has joined #principia
rsparkyc has quit [Quit: rsparkyc]
Wetmelon has quit [Ping timeout: 194 seconds]
rsparkyc has joined #principia
awang has joined #principia
Wetmelon has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
rsparkyc has quit [Quit: rsparkyc]
Wetmelon has quit [Ping timeout: 194 seconds]
rsparkyc has joined #principia
rsparkyc has quit [Quit: rsparkyc]
HotSpicySausage has quit [Quit: BYE!]
Wetmelon has joined #principia
NolanSyKinsley has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
NolanSyKinsley has joined #principia
Jesin has joined #principia
rsparkyc has joined #principia
rsparkyc has quit [Quit: rsparkyc]
awang has quit [Ping timeout: 194 seconds]
awang_ has joined #principia