idris-0.9.15: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Core.ProofTerm

Documentation

data ProofTerm Source

Instances

Show ProofTerm 

data Goal Source

Constructors

GD 

type Hole = Maybe NameSource