emsenn's digital garden Homepage | Index

This Website was cultivated as a public asset with support from people like you. Thank you!

Click this sentence for information about my Website.

Click each sentence below for more info:

  • This website was created by Emacs and Org-mode

    See my Emacs configuration to learn how.

  • Its content was written by hand.

    This means there might be mistakes!

  • It uses style to add information to the pages.
    • Click this sentence to see how links are styled:
      Color Link type
      Sample Unvisited local resource
      Sample Visited local resource
      Sample Unvisited external resource
      Sample Visited external resource

Babble, [2025-09-15 Mon 10:55], Install Cubical Agda in GnoponEmacs

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.

Backlinks

Created: 2025-10-05 Sun 17:40