From a50ae656956909c2053d3417a393cf373876b8f3 Mon Sep 17 00:00:00 2001 From: alexpdp7 Date: Sat, 10 Jan 2026 19:17:07 +0100 Subject: Add Verso --- misc/document-formats.md | 8 ++++++++ 1 file changed, 8 insertions(+) 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 -- cgit v1.2.3