diff options
| author | Thomas Letan <lthms@soap.coffee> | 2023-05-02 11:41:17 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2023-05-02 11:41:17 +0200 |
| commit | 8d86fc7c36b2d5dfbab56df9cc34a7532ec431ce (patch) | |
| tree | c7124b7968f3a93f13f8b9fb0b80e85bec2fa153 | |
| parent | Simplify code snippet (diff) | |
List the latest blogpost about neovim config tricks
| -rw-r--r-- | site/index.org | 2 | ||||
| -rw-r--r-- | site/posts/miscellaneous.org | 4 |
2 files changed, 5 insertions, 1 deletions
diff --git a/site/index.org b/site/index.org index 5655610..a473ddf 100644 --- a/site/index.org +++ b/site/index.org @@ -9,11 +9,11 @@ let me know!]. All categories combined, here is the last pieces of contents I have published on this website. + - [[./posts/NeoVimOcamlInterfacesAndLSP.org][Neovim, OCaml Interfaces, Tree-Sitter and LSP]] /(May 1, 2023)/ - [[./news/CFTSpatialShell.org][Call for Testers: Spatial Shell]] /(April 27, 2023)/ - [[./opinions/StackedGitPatchTheory.org][Patch Dependencies for Stacked Git]] /(January 25, 2023)/ - [[./opinions/StackedGit2.org][How I Keep Using Stacked Git at ~$WORK~ in 2023]] /(January 15, 2023)/ - [[./news/November2022.org][Monthly Retrospective: October and November 2022]] /(November 19, 2022)/ - - [[./news/September2022.org][Monthly Retrospective: September 2022]] /(September 18, 2022)/ I had an RSS feed once, but it’s long gone, mostly because the toolchain I ended up writing for generating this website does not diff --git a/site/posts/miscellaneous.org b/site/posts/miscellaneous.org index 7458cb3..61ec5c7 100644 --- a/site/posts/miscellaneous.org +++ b/site/posts/miscellaneous.org @@ -18,3 +18,7 @@ time being. polymorphic function. Trying to write such a function results in the type-checker complaining back at you. The trick to be able to write such a function is to use records. + +- [[./NeoVimOcamlInterfacesAndLSP.html][Neovim, OCaml Interfaces, Tree-Sitter and LSP]] :: + Can we all agree that witnessing syntax highlighting being absolutely off is + probably the most annoying thing that can happen to anybody? |