Archives
Here you can find all my previous posts:- Using pattern-match in your favor - May 5, 2022
- How an Agda package in Nixpkgs should be - March 18, 2022
- Types for units of measure - December 18, 2021
- Concurrency language with small-step semantics - November 3, 2021
- Using small-step reduction in addition - October 30, 2021
- Using Containers in Agda - July 19, 2021
- Compressed lists in Cubical Agda - May 31, 2021
- Defining Natural Numbers using its associativity property in Agda - May 26, 2021