My Projects
GitHub repositories that I've built.
My reveal.js slide template, based on the Google Slides Paradigm theme
Things I try to do in Idris.
A material design search website prototype.
My Interests
Topics that I want to learn more about.
My Thoughts
Articles I've written.
Aug 16, 2021
Jul 21, 2020
(Updated Aug 23, 2020)
Oct 22, 2019
Aug 25, 2019
Jul 12, 2019