remark-agda
Plugin for processing Literate Agda files with Remark
- Latest release
- Sep 13, 2024
- Releases
- 2
- Known CVEs
- 0
- First release
- Sep 13, 2024
- License
- unknown
Insights
Activity
- Total releases
- 2
- Last 12 months
- 0
- Cadence
- ~daily
- Dependencies
- 6
Releases per month
last 12 monthsRelease mix
- minor 1
2
releases
Dependencies
Depends on
0.1.0-
hast
^1.0.0
-
hast-util-from-html
^2.0.2
-
typescript
^5.0.0
peer
-
unified
^11.0.5
-
unist
^0.0.1
-
unist-util-visit
^5.0.0
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
0.1.0
minor
|
0.1.0
minor
Dependencies (6)
|
|
0.0.1
initial
|
0.0.1
initial
Dependencies (6)
|