egg changed the topic of #principia to: Logs: https://esper.irclog.whitequark.org/principia | <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly…
_whitelogger has joined #principia
<_whitenotifier-4f63> [Skopos] Capkirk123 created tag v1.0.2.0 - https://github.com/mockingbirdnest/Skopos
<_whitenotifier-4f63> [Skopos] Capkirk123 tagged b3ee3b7 as v1.0.2.0 https://github.com/mockingbirdnest/Skopos/commit/b3ee3b7fe079101cfe5f3fceb705ab118069639f
_whitelogger has joined #principia
_whitelogger has joined #principia
<_whitenotifier-4f63> [Principia] pleroy opened pull request #4178: Documentation of argument reduction and improved implementation - https://github.com/mockingbirdnest/Principia/pull/4178
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
<queqiao--> <e​gg​> Yes.
raptop has quit [Ping timeout: 183 seconds]
raptop has joined #principia