This web-site is now archived and no longer updated. My website is now a Forest.
Go To Forest
- I’m a doctor now - 15th January 2020
- Trifecta at Nara - 1st August 2018
- Bits of Hackage for liamoc.net - 11th November 2015
- The Trouble with Typing Type as Type - 10th September 2015
- Write your Compiler by Proving it Correct - 23rd August, 2015
- Context splitting and substructural terms - 1st January 2014