lean.hx

A Lean 4 plugin for Helix.

TODO

Unicode input
Info view (requires fork; only the basics work)
File-specific server restart (via fork)
Progress gutter (via fork)
Figure out something better for syntax highlighting. Semantic tokens would be ideal but Helix maintainers don't seem interested in supporting this.

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.githooks		.githooks
.helix		.helix
nix		nix
src		src
vendor		vendor
.envrc		.envrc
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitmodules		.gitmodules
.ignore		.ignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
index.html		index.html
index.mjs		index.mjs
infoview.scm		infoview.scm
keymap.scm		keymap.scm
main.scm		main.scm
misc.scm		misc.scm
tsconfig.json		tsconfig.json
unicode.scm		unicode.scm