freenode/#clim - IRC Chatlog Search Monday, 18th of June 2018, 10:38:02 UTC 15:44:05 karlosz whichever format can be read by the lisp reader, so probably the internal one