libera/#clim - IRC Chatlog Search Sunday, 26th of September 2021, 18:03:50 UTC 19:55:39 karlosz_ ** NICK karlosz 20:03:02 rotateq greetings :) 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!