Below is a video with a 10 minute presentation of the project. Jump to 11:35 for a brief demo and Q&A session.
A textual explanation of the project’s status, motivation and goals can be found in the “About” section.
The paper “Clef design: Thoughts on the Formalization of Program Construction” has been accepted for the European Lisp Symposium 2018. (March 20, 2018)
I was honored to speak at the celebratory 100th edition of the Amsterdam Clojure Meetup. (March 14, 2018)
The video of the lightning talk at Lambda Days 2018 is up. (Febuary 20, 2018)