diff options
Diffstat (limited to 'misc/document-formats.md')
| -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 |