Open main menu
Home
Random
Log in
Donations
About Wikibooks
Disclaimers
Wikibooks
Search
CDuce/Types
Language
Watch
Edit
<
CDuce
integers
,
characters
,
records
boolean connectives
coercion