Videos of talks

Lightning talk at Lambda Days

A lightning talk with a 3-minute overview of the project, given at Lambda Days.

Lightning talk at Lambda Days

The video of the talk at The European Lisp Symposium 2018.

The associated paper may be downloaded using the link below:

Clef design: Thoughts on the Formalization of Program Construction

Talk at Clojure Meetup

The Amsterdam Clojure Meetup is “a bunch of Clojure enthusiast who meet every month to discuss every thing Clojure.” I was honored to speak at the celebratory 100th edition of the event in early 2018.

The audience was very much involved, which led to some interesting discussions.

Demonstration of the editor

A short video of a first prototype editor.