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