@arborium/agda
Syntax highlighting for Agda, powered by WebAssembly
Activity
- Latest release
- 2w ago
- Total releases
- 46
- Cadence
- ~daily
- Last 12 months
- 46
Details
- License
- MIT
- First release
- Dec 07, 2025
Releases
| Version | Released | |
|---|---|---|
2.18.2
patch
| ||
2.18.1
patch
| ||
2.18.0
minor
| ||
2.17.0
minor
| ||
2.16.0
minor
| ||
2.15.0
minor
| ||
2.14.0
minor
| ||
2.13.0
minor
| ||
2.12.4
patch
| ||
2.12.3
patch
| ||
2.12.2
patch
| ||
2.12.1
patch
| ||
2.12.0
minor
| ||
2.11.0
minor
| ||
2.10.0
minor
| ||
2.9.0
minor
| ||
2.8.0
minor
| ||
2.7.0
minor
| ||
2.6.1
patch
| ||
2.6.0
minor
| ||
2.5.0
minor
| ||
2.4.7
patch
| ||
2.4.6
patch
| ||
2.4.5
patch
| ||
2.4.4
patch
| ||
2.4.3
patch
| ||
2.4.2
patch
| ||
2.4.0
minor
| ||
2.3.2
patch
| ||
2.3.1
patch
| ||
2.3.0
minor
| ||
2.1.0
minor
| ||
2.0.0
major
| ||
1.3.0
minor
| ||
1.2.3
minor
| ||
1.1.5
patch
| ||
1.1.0
minor
| ||
1.0.1
patch
| ||
1.0.0
major
| ||
0.901.0
minor
| ||
0.900.0
minor
| ||
0.700.0
minor
| ||
0.699.0
minor
| ||
0.693.0
minor
| ||
0.622.0
minor
| ||
0.3.0
initial
|