freenode/#clasp - IRC Chatlog Search Wednesday, 24th of May 2017, 3:14:51 UTC 14:42:10 drmeister Hello 14:48:54 SAL9000 Hello! :) 14:50:36 SAL9000 Do you have a slimmer Docker image (w/o the CANDO & Jupyter stuff)? I want to try using your ASTMatcher bindings to generate CM-C++ glue code.