| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | align | 87 | logplain |
| -rw-r--r-- | blognew | 282 | logplain |
| -rw-r--r-- | corollary | 100 | logplain |
| -rw-r--r-- | date | 90 | logplain |
| -rw-r--r-- | definition | 104 | logplain |
| -rw-r--r-- | elisp | 106 | logplain |
| -rw-r--r-- | lemma | 84 | logplain |
| -rw-r--r-- | new-snippet | 74 | logplain |
| -rw-r--r-- | org | 186 | logplain |
| -rw-r--r-- | proof | 86 | logplain |
| -rw-r--r-- | substack | 98 | logplain |
| -rw-r--r-- | theorem | 122 | logplain |
| -rw-r--r-- | yt-feed | 118 | logplain |
 |
index : monorepo.git | |
| My monorepo which manages everything, from my nix flake to my org files. | System administrator |
| summaryrefslogtreecommitdiff |