Notes
- Continuous extensions from dense subspaces (pointfree) - November 28, 2016
- My research, for a general audience - November 12, 2016
- Agda-like "refine" tactic in Coq - July 3, 2016
- Pronouncing "≤" constructively - May 13, 2016
- An advantage of explicit partiality - October 17, 2015
- MATLAB results may vary depending on CPU - September 7, 2015
- Quicksort in Idris - September 20, 2014