diff options
| author | alexpdp7 <alex@pdp7.net> | 2026-01-10 19:17:07 +0100 |
|---|---|---|
| committer | alexpdp7 <alex@corcoles.net> | 2026-01-10 18:49:58 +0000 |
| commit | a50ae656956909c2053d3417a393cf373876b8f3 (patch) | |
| tree | c8703c0245251adda5ca6cb3f08a6ad34d7fc585 | |
| parent | aa4a16e15ca501d20d62fadc424d130b0856be71 (diff) | |
Add Verso
| -rw-r--r-- | misc/document-formats.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/misc/document-formats.md b/misc/document-formats.md index a11f64f7..9ee21acc 100644 --- a/misc/document-formats.md +++ b/misc/document-formats.md @@ -59,6 +59,14 @@ Typst is very new and is not yet very popular. [Typesetter](https://codeberg.org/haydn/typesetter) is a desktop application that embeds Typst, so no additional setup is needed. However, Typesetter is only available as a Flatpak. +### [Verso](https://github.com/leanprover/verso) + +A Markdown-like closely tied to [the Lean programming language](https://lean-lang.org/): + +* Eliminates ambiguous syntax for easier parsing and is stricter (not all text is valid Verso) +* Has a (Lean) data model +* Designed for extensibility + ### TODO: other formats - https://github.com/nota-lang/nota |