Archives
Here you can find all my previous posts:- Setting up a Fossil server on FreeBSD - January 7, 2021
- Interesting Exercises 1 - Calculating a Lie Algebra - October 11, 2020
- Verified Programming Based on Univalent Foundations in Agda - Part 2 - July 6, 2020
- Verified Programming Based on Univalent Foundations in Agda - Part 1 - May 2, 2020
- Puzzle Roundup - April 25, 2020
- Verified Programming Based on Univalent Foundations in Agda - Part 0 - April 17, 2020