mirror
/
RosettaCodeData
mirror of https://github.com/acmeism/RosettaCodeData.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
RosettaCodeData/Task/Boolean-values/Idris/boolean-values.idris

10 lines
124 B
Plaintext
Raw Permalink Blame History

Idris> :doc Bool
Data type Prelude.Bool.Bool : Type
Boolean Data Type
Constructors:
False : Bool
True : Bool
Reference in New Issue View Git Blame Copy Permalink