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/
UmbralRaptop has joined #principia
Mike` has quit [Ping timeout: 194 seconds]
Wetmelon has quit [Ping timeout: 194 seconds]
Mike` has joined #principia
uj8efdjkfdshf has joined #principia
NolanSyKinsley has quit [Remote host closed the connection]
Qboid has joined #principia
Wetmelon has joined #principia
Qboid has joined #principia
Thomas has joined #principia
Wetmelon has joined #principia
lamont has quit [Ping timeout: 198 seconds]
lamont has joined #principia
Bigcheese has joined #principia
GregroxMun has joined #principia
<GregroxMun>
o/
Mike` has quit [Ping timeout: 194 seconds]
Mike` has joined #principia
Majiir is now known as Snoozee
Aexoden has quit [Quit: Connection reset by supervisor.]