CW types overview
Computational W types
Definition
CW types are defined in the
CW
module.
Example
Module
Description
Nat
Natural numbers
Tree
Trees
IW
Index W types (following Hugunin)