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…
<paculino>
Out of curiosity, have any linked papers captioned here as ‹things Principia cannot do› predated Principia gaining that feature?
<queqiao-->
<sichelgaita> I trust that, if raptop says that Principia cannot do it, there are good reasons. It's possible that some things that "Principia could do" have been implemented, although I must say that I didn't keep track.