As I began to read his thesis I was reminded powerfully of Conor McBride's Epigram system [1]. It's a very different kind of system, but the parity between a us

As I began to read his thesis I was reminded powerfully of Conor McBride's Epigram system [1]. It's a very different kind of system, but the parity between a user's intent and the computer's ability to interact seamlessly with that intent is a powerful feature of Epigram. [1] I can't seem to find the source anymore, but there are many papers like cs.ru.nl/~freek/courses/tt-2010/tvftl/epigram-notes.pdf‎