9 lines
124 B
Text
9 lines
124 B
Text
Idris> :doc Bool
|
|
Data type Prelude.Bool.Bool : Type
|
|
Boolean Data Type
|
|
|
|
Constructors:
|
|
False : Bool
|
|
|
|
|
|
True : Bool
|