CDuce/Types

From Wikibooks, open books for an open world
Jump to: navigation, search

integers, characters, records

boolean connectives

coercion