index
Table of Contents
1. all nodes
(->> (org-roam-node-list) (--remove (cl-intersection '("daily" "private") (org-roam-node-tags it) :test #'equal)) (--sort (string< (org-roam-node-title it) (org-roam-node-title other))) (--map (org-make-link-string (format "id:%s" (org-roam-node-id it)) (org-roam-node-title it))))
- A Call-by-Need Lambda Calculus
- A Correspondence Between ALGOL 60 and Church's Lambda-Notation
- A Correspondence Between ALGOL 60 and Church’s Lambda-Notation: Part I
- A Correspondence Between ALGOL 60 and Church’s Lambda-Notation: Part II
- An Adequate Operational Semantics of Sharing in Lazy Evaluation
- An Axiomatic Basis for Computer Programming
- Babel
- Codeberg Pages
- Computational Comonads and Intensional Semantics
- Dijkstra Monads for All
- Dijkstra monad
- Emacs
- Evaluation strategies for monadic computations
- Git
- Guarded Commands, Nondeterminacy and Formal Derivation of Programs
- HOAS
- Haskell
- Hoare logic
- Krivine machine
- LCF
- LCF Considered as a Programming Language
- LJ
- LK
- NixOS
- Org Mode
- Org-roam
- PCF
- PCF
- PHOAS
- Syncthing
- TA a class
- What semantics am I this time?
- about
- audio compression
- audio compression
- baco
- blogroll
- call-by-name
- classical logic
- code
- colophon
- comonad
- compression
- computational comonad
- demand semantics
- denotational semantics
- disability
- disjunction and existence properties
- disjunction property
- existence property
- extension and intension
- functions in demand semantics
- higher-order abstract syntax
- hills
- index
- interactive input-output monad
- intuitionistic logic
- isorecursive types
- join a Zulip
- linear logic
- logic of computable functions
- logical laziness revision plan
- minimal logic
- natural transformation
- paraconsistent logic
- parametric higher-order abstract syntax
- parametricity
- prefix code
- program logic
- reading list
- recursion in demand semantics
- semantics monad
- sequent calculus
- slashes
- start
- systemd
- weakest precondition
2. by tag
(->> (org-roam-node-list) (-mapcat #'org-roam-node-tags) (-uniq) (--remove (-contains? '("daily" "private") it)) (-map (lambda (tag) (cons tag (->> (org-roam-node-list) (--filter (let ((node-tags (org-roam-node-tags it))) (and (-contains? node-tags tag) (not (cl-intersection '("daily" "private") node-tags :test #'equal))))) (--sort (string< (org-roam-node-title it) (org-roam-node-title other))) (--map (concat "- " (org-make-link-string (format "id:%s" (org-roam-node-id it)) (org-roam-node-title it)) "\n")))))) (-filter #'cdr))
- stub
- Babel
- Codeberg Pages
- Dijkstra monad
- Emacs
- Git
- HOAS
- Haskell
- Hoare logic
- LCF
- LJ
- LK
- NixOS
- Org Mode
- Org-roam
- PHOAS
- Syncthing
- TA a class
- audio compression
- baco
- call-by-name
- classical logic
- code
- comonad
- compression
- demand semantics
- denotational semantics
- extension and intension
- higher-order abstract syntax
- interactive input-output monad
- intuitionistic logic
- isorecursive types
- join a Zulip
- linear logic
- logic of computable functions
- logical laziness revision plan
- minimal logic
- natural transformation
- paraconsistent logic
- parametric higher-order abstract syntax
- parametricity
- prefix code
- program logic
- recursion in demand semantics
- semantics monad
- sequent calculus
- start
- systemd
- weakest precondition
- slash
- howto