| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Idringen.Plugin
Documentation
data IdringenPlugin Source #
Constructors
| IdringenPlugin | |
idringen-0.1.0.3: A project manage tool for Idris.
| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Idringen.Plugin
data IdringenPlugin Source #
Constructors
| IdringenPlugin | |