Below is a video with a 3-minute overview of the project.
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)