Archives
Here you can find all my previous posts:- Conference Talk, EuroBSDCon 2023, Coimbra - September 16, 2023
- Intrinsically Typed ASTs - December 12, 2022
- PureShell… First Light - June 27, 2022
- Graded Monads - December 19, 2021
- Basic Rewriting - December 10, 2020