Sign in Sign up
npm

remark-agda

Plugin for processing Literate Agda files with Remark

npm View on Npm

Activity

Latest release
2y ago
Total releases
2
Cadence
~daily
Last 12 months
0

Details

License
unknown
First release
Sep 13, 2024
Releases
Version Released
0.1.0 minor
0.0.1 initial