kaguya's blog
About
Posts
Jun 3, 2023
MMIX Note
Jul 3, 2022
Do Not Plan What You Will Learned
Dec 21, 2021
Update After Years
Dec 20, 2019
Enable Agda's standard library when installing with Nix
subscribe
via RSS