Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
dashing.json		dashing.json
idris2-dash-docset.png		idris2-dash-docset.png

Repository files navigation

Dash docset for Idris 2

Building locally

Install Dashing
Checkout Idris 2 to ../Idris2
Build the Idris2 library docs with

$ cd ../Idris2 && make libdocs
Finally, make idris2.docset via make

$ make

About

Dash docset for Idris 2 libraries

dash docset idris2 idris2-ecosystem

Report repository

Releases

No releases published

Packages

No packages published

Languages

Makefile 100.0%