Source
Contents
Index
idringen-0.1.0.3: A project manage tool for Idris.
Safe Haskell
None
Language
Haskell2010
Idringen.Build
Documentation
plugin
::
IdringenPlugin
Source
#