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