libera/#climacs - IRC Chatlog Search Saturday, 18th of March 2023, 2:50:34 UTC 6:45:29 beach I think I finished OPTIMIZE. Later I'll start type declarations. 6:59:53 splittist early progress! 7:00:41 beach Indeed.