libera/#clim - IRC Chatlog Search Sunday, 26th of September 2021, 21:02:21 UTC 22:07:51 jackdaniel rotateq: if you want to learn more about presentation types you may read my notes in Documentation/Notes/presentation-types.org 3:02:21 beach Good morning everyone! 8:01:52 jackdaniel hey 8:02:41 beach Hello jackdaniel.