Archives
Here you can find all of my previous posts:- Installing idris2-pack on NixOS - January 7, 2024
- How I Made My Desktop 6.839x Quieter - August 10, 2023
- Serving Websites with Org - May 17, 2023
- Making a website with Org mode, Hakyll, and NixOS - May 12, 2023