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 source code is available on Github (May 5, 2018)
The paper “Clef design: Thoughts on the Formalization of Program Construction” has been presented at the European Lisp Symposium 2018. (April 17, 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)