Idris2Doc : Syntax.IHateParens

Syntax.IHateParens

(source)
Reexports
import public Syntax.IHateParens.Function
import public Syntax.IHateParens.List
import public Syntax.IHateParens.SortedMap
import public Syntax.IHateParens.SortedMap.Dependent
import public Syntax.IHateParens.SortedSet
import public Syntax.IHateParens.Vect