Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'book/src/generated/lang-support.md')
| -rw-r--r-- | book/src/generated/lang-support.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md index aa79bdab..86cc7890 100644 --- a/book/src/generated/lang-support.md +++ b/book/src/generated/lang-support.md @@ -148,7 +148,7 @@ | latex | ✓ | ✓ | | | | `texlab` | | ld | ✓ | | ✓ | | | | | ldif | ✓ | | | | | | -| lean | ✓ | | | | | `lean` | +| lean | ✓ | | | | | `lake` | | ledger | ✓ | | | | | | | llvm | ✓ | ✓ | ✓ | | | | | llvm-mir | ✓ | ✓ | ✓ | | | | |