Skip to content

Create Extension Zed Editor

Extensions / Idris2

Idris2

v0.0.1

Idris2 support.

This extension is maintained as part of the core Zed repository.

Install in Zed View Repository Issues

35k

downloads

Updated 1 year ago

WASM API v0.1.0

Provides

Versions (1)

v0.0.1 latest Nov 5, 2024

Authors

~zed-industries

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

About · Zed Registry · Extensions Repo · Source