Last Friday I gave a talk at Scottish Theorem Proving in which I sketched how Idris worked.

Here are the slides. There’ll be a paper explaining in more detail at some point fairly soon…

Here are the slides. There’ll be a paper explaining in more detail at some point fairly soon…