freenode/#clasp - IRC Chatlog Search Monday, 17th of February 2020, 0:17:51 UTC 3:59:35 beach Good morning everyone! 9:16:18 beach When I refer to Clasp in a paper, what URL should I use?