aboutsummaryrefslogtreecommitdiff
path: root/book/src/generated/lang-support.md
diff options
context:
space:
mode:
Diffstat (limited to 'book/src/generated/lang-support.md')
-rw-r--r--book/src/generated/lang-support.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md
index 87347819..fce14846 100644
--- a/book/src/generated/lang-support.md
+++ b/book/src/generated/lang-support.md
@@ -24,6 +24,7 @@
| json | ✓ | | ✓ | |
| julia | ✓ | | | `julia` |
| latex | ✓ | | | |
+| lean | ✓ | | | `lean` |
| ledger | ✓ | | | |
| llvm | ✓ | ✓ | ✓ | |
| llvm-mir | ✓ | ✓ | ✓ | |