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