idringen-0.1.0.3: A project manage tool for Idris.

Safe HaskellSafe
LanguageHaskell2010

Idringen.Plugin

Documentation

data IdringenPlugin Source #

Constructors

IdringenPlugin 

Fields