Skip to content
ZedExt

Type to search extensions

Soma

v0.6.0

Syntax highlighting and LSP support for the Soma programming language.

Updated 6 months ago
33k downloads 83 stars Repository ↗
Install in Zed

GitHub branch status GitHub Repo stars GitHub License

Soma

Soma is a dependently typed, pure functional language that compiles to native code via LLVM. This branch is a Haskell rewrite of the main branch written in Lean 4.

ZedExt An unofficial community project. Not affiliated with Zed Industries.

Data from Zed’s extension registry and GitHub · updated

About Create Extension Zed Editor GitHub