Liam O'Connor @liamoc@types.pl
Lecturer at LFCS, University of Edinburgh. I leave these toots, I do not know for whom. I no longer know what they are about.
Formal Methods, Verification, Concurrency, etc.
English, 한국어, 日本語, Lingva Latina
@sandwichman is your username a reference to walter brierley's novel?
Is there some (reasonably priced or free) software package for making audiobooks? I'm thinking something that you can load the text of the book into, and automatically matches what you say to the text, and makes it easy to do another take from a certain point in the text.
Holbert 0.5 is now live on http://liamoc.net/holbert.
It now supports inductive judgements, induction and rule inversion, better unification solutions, many bug fixes, better rewriting support, and many other small improvements. This is mostly due to the great work from my two undergrads over the last year, Chris Perceval-Maxwell and Rayhana Amjad.
If you see an error message on load, you may have to clear your cache.
Hello everyone. I probably will not post significantly here for now, but I am parking the profile in case it becomes more widely used.
Lecturer at LFCS, University of Edinburgh. I leave these toots, I do not know for whom. I no longer know what they are about.
Formal Methods, Verification, Concurrency, etc.
English, 한국어, 日本語, Lingva Latina
