Safe Haskell | Safe |
---|---|
Language | Haskell98 |
DDC.Core.Exp.Annot.AnT
Documentation
The type checker for witnesses adds this annotation to every node in the, giving the type of each component of the witness.
ddc-core-0.4.3.1: Disciplined Disciple Compiler core language and type checker.
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
DDC.Core.Exp.Annot.AnT
The type checker for witnesses adds this annotation to every node in the, giving the type of each component of the witness.