Mercurial > urweb

comparison lib/basis.lig @ 186:88d46972de53

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bool in Basis
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 18:53:20 -0400
parents 4334bb734187
children 3eb53c957d10
comparison
equal deleted inserted replaced
185:19ee24bffbc0 186:88d46972de53
1 type int 1 type int
2 type float 2 type float
3 type string 3 type string
4 4
5 type unit = {} 5 type unit = {}
6
7 datatype bool = False | True
6 8
7 9
8 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 10 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
9 11
10 12