Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
The type checker for witnesses adds this annotation to every node in the, giving the type of each component of the witness.
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
The type checker for witnesses adds this annotation to every node in the, giving the type of each component of the witness.