Skip to content

bamboo/idris2-dash-docset

BranchesTags

Folders and files

NameName
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

Topics

dash docset idris2 idris2-ecosystem

Resources

Readme
Activity

Stars

2 stars

Watchers

3 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages