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…
<_whitenotifier-bad2> [Skopos] Capkirk123 closed pull request #22: Edit contract grammar - https://github.com/mockingbirdnest/Skopos/pull/22
<_whitenotifier-bad2> [Skopos] Capkirk123 commented on pull request #22: Edit contract grammar - https://github.com/mockingbirdnest/Skopos/pull/22#issuecomment-2600322508
<_whitenotifier-bad2> [Skopos] Capkirk123 opened pull request #26: Cleanup for release - https://github.com/mockingbirdnest/Skopos/pull/26
<_whitenotifier-bad2> [Skopos] Capkirk123 closed pull request #26: Cleanup for release - https://github.com/mockingbirdnest/Skopos/pull/26
_whitelogger has joined #principia
_whitelogger has joined #principia
paculino has quit [Ping timeout: 207 seconds]
_whitelogger has joined #principia
paculino has joined #principia
<_whitenotifier-bad2> [Skopos] Capkirk123 created tag v1.0.0.0 - https://github.com/mockingbirdnest/Skopos
<_whitenotifier-bad2> [Skopos] Capkirk123 tagged 582ca91 as v1.0.0.0 https://github.com/mockingbirdnest/Skopos/commit/582ca91f33b805b1cdeaa410829b694dbcb31064