2025-09-15, 1055h

2025-09-15 by emsenn

Simple enough to install: =sudo apt install agda= Didn’t get it set up in GnoponEmacs though, I’ll need to learn more about Agda first.

Relations

Authors: emsenn
Date created: 2025-09-15

Cite

@misc{emsenn2025-2025-09-15-1055h,
  author    = {emsenn},
  title     = {2025-09-15, 1055h},
  year      = {2025},
  url       = {https://emsenn.net/blog/2025-09-15-1055h/},
  publisher = {emsenn.net},
  license   = {CC BY-SA 4.0}
}