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/
GregroxMun has joined #principia
<GregroxMun> o/
<GregroxMun> \o
GregroxMun has quit [Client Quit]
egg|z|egg has quit [Ping timeout: 194 seconds]
egg|phone|egg has joined #principia
egg|phone|egg has quit [Ping timeout: 194 seconds]
Wetmelon has joined #principia
uj8efdjkfdshf has joined #principia
Wetmelon has quit [Ping timeout: 194 seconds]
Mike has quit [Ping timeout: 198 seconds]
Mike has joined #principia
awang has quit [Ping timeout: 182 seconds]
awang has joined #principia
uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]
uj8efdjkfdshf has joined #principia
egg|z|egg has joined #principia
egg|z|egg has quit [Ping timeout: 202 seconds]
egg|z|egg has joined #principia
egg|z|egg has quit [Ping timeout: 194 seconds]
NolanSyKinsley has quit [Remote host closed the connection]
egg|z|egg has joined #principia
egg|z|egg has quit [Ping timeout: 202 seconds]
egg|z|egg has joined #principia
egg|z|egg has quit [Ping timeout: 198 seconds]
uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]
egg|phone|egg has joined #principia
egg|cell|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #principia
egg|cell|egg has quit [Ping timeout: 194 seconds]
SilverFox has quit [*.net *.split]
egg has quit [*.net *.split]
Technicalfool has quit [*.net *.split]
Thomas has quit [*.net *.split]
Raidernick has quit [*.net *.split]
Raidernick has joined #principia
egg has joined #principia
Technicalfool has joined #principia
SilverFox has joined #principia
1CSAAA0FV has joined #principia
Thomas has joined #principia
1CSAAAITF has joined #principia
1CSAAAZ7O has joined #principia
1CSAAA0FV has quit [Ping timeout: 194 seconds]
1CSAAAITF has quit [Ping timeout: 194 seconds]
SilverFox has quit [Ping timeout: 194 seconds]
1CSAAAZ7O has quit [Ping timeout: 194 seconds]
SilverFox has joined #principia
egg|cell|egg has joined #principia
egg|mobile|egg has joined #principia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has quit [Ping timeout: 202 seconds]
egg|phone|egg has joined #principia
egg|cell|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|mobile|egg has quit [Read error: Connection reset by peer]
Wetmelon has joined #principia
ferram4 has quit [Ping timeout: 202 seconds]
ferram4 has joined #principia
ferram4 has quit [Ping timeout: 202 seconds]
rsparkyc has joined #principia
ferram4 has joined #principia
NolanSyKinsley has joined #principia
rsparkyc_ has joined #principia
Thomas_ has joined #principia
rsparkyc has quit [*.net *.split]
Thomas has quit [*.net *.split]
rsparkyc_ is now known as rsparkyc
Thomas_ is now known as Thomas
UmbralRaptor has quit [Remote host closed the connection]
UmbralRaptop has joined #principia
UmbralRaptop has quit [Remote host closed the connection]
UmbralRaptop has joined #principia
lamont has quit [Read error: Connection reset by peer]
lamont has joined #principia
egg|phone|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|phone|egg has joined #principia
lamont has quit [Quit: lamont]
lamont has joined #principia
lamont has quit [Client Quit]
rsparkyc has quit [Quit: rsparkyc]
egg|cell|egg has joined #principia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|z|egg has joined #principia
awang has quit [Ping timeout: 198 seconds]
awang has joined #principia
egg|z|egg has quit [Ping timeout: 182 seconds]
egg|z|egg has joined #principia
Mike has quit [Killed (NickServ (GHOST command used by mike_!~mike@2600:3c01::f03c:91ff:fe93:c5ec))]
Mike` has joined #principia
egg|z|egg has quit [Ping timeout: 202 seconds]
egg|z|egg has joined #principia
Majiir has quit [Ping timeout: 194 seconds]
egg|phone|egg has joined #principia
Snoozee has joined #principia
Snoozee is now known as Majiir
egg|z|egg has quit [Ping timeout: 194 seconds]
egg|phone|egg has quit [Ping timeout: 202 seconds]
egg|phone|egg has joined #principia
egg|phone|egg is now known as egg|zzz|egg
egg|z|egg has joined #principia
egg|zzz|egg has quit [Ping timeout: 198 seconds]
awang has quit [Ping timeout: 198 seconds]
egg is now known as egg|zz|egg