Idris2 Dash docset This repository generates a Dash docset for Idris2 based on the html output of idris2 --mkdoc.