odomanov
odomanov
/ org-roam-link-properties.el
Created
May 4, 2022 04:02
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;;; org-roam-link-properties.el --- Frobnicate and bifurcate flanges | |
| ;; Author: Oleg Domanov <[email protected]> | |
| ;; Version: 1.0 | |
| ;; Keywords: org-roam org-roam-ui | |
| ;;; Commentary: | |
| ;;; Org-Roam link properties (for 'id' links only). | |
| ;;; Adapted from https://linevi.ch/en/org-link-extra-attrs.html |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;; For Org-roam version 2. | |
| ;; Links should be defined in Org mode (see below) | |
| ;; (defface org-roam-link-major | |
| ;; '((t (:inherit org-link | |
| ;; :foreground "Indian Red" | |
| ;; ))) | |
| ;; "Face for 'major' links." | |
| ;; :group 'org-roam-faces) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- Automatic derivation of equality for inductive types. Examples. | |
| -- Inspired by https://github.com/alhassy/gentle-intro-to-reflection. | |
| -- Tested on: Agda version 2.6.2.1-59c7944, std-lib 1.7 | |
| module _ where | |
| open import Data.Bool | |
| open import Data.List | |
| open import Data.Unit | |
| open import Relation.Binary.PropositionalEquality |