Notes

• feeds
• notes
  • abstract syntax
  • Agda
  • Agda: rename Set to Type
  • algebra of a functor
  • anagora
  • category theory
  • cognitive disengagement syndrome
  • coq-shortcut-alist
  • coq-token-symbol-map
  • coq-unicode-tokens
  • coq-unicode-tokens-set
  • cus-edit
  • de Bruijn indices
  • don't underestimate JD Vance
  • doom-two-tone-themes
  • dynamic programming
  • Emacs
  • Emacs features
  • Emacs packages
  • Emacs regular expressions
  • Emacs syntax classes
  • exporting Org Mode
  • extensible
  • Extensible Records Explained
  • flashes
  • function notation
  • Haskell
  • Haskell packages
  • How can I correct errors in dblp?
  • how to grant RES permissions on Wayland
  • IndieWeb
  • Java
  • Lambek's theorem
  • lens
  • locally nameless
  • Nix
  • nix-collect-garbage
  • NixOS
  • NixOS: automatically collect garbage
  • NixOS: automatically delete old profiles
  • NixOS: automatically optimize the store
  • notation
  • notations for variable substitution
  • org
  • org-html-htmlize-font-prefix
  • org-html-htmlize-generate-css
  • org-inhibit-startup
  • org-mode
  • Org Mode (package)
  • Org-roam
  • ox
  • ox-html
  • prettify-symbols-alist
  • prettify-symbols-mode
  • prog-mode
  • Proof General
  • proof-unicode-tokens
  • proof-unicode-tokens-configure
  • Rocq
  • setopt
  • Spliterator
  • std++
  • tags
  • tangle monad
  • the righteous violence of my words
  • The System
  • Vulpea
  • vulpea-db
  • vulpea-db-query
  • Wagner–Fischer algorithm
  • window.location.href