Mercurial > urweb

comparison lib/top.urs @ 422:0ce90d4d9ae7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud2 demo
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Oct 2008 18:45:10 -0400
parents ad7e854a518c
children 19d7f79cd584
comparison
equal deleted inserted replaced
421:0767d7ad0c3a 422:0ce90d4d9ae7
1 val not : bool -> bool
2
1 con idT = fn t :: Type => t 3 con idT = fn t :: Type => t
2 con record = fn t :: {Type} => $t 4 con record = fn t :: {Type} => $t
3 con fstTT = fn t :: (Type * Type) => t.1 5 con fstTT = fn t :: (Type * Type) => t.1
4 con sndTT = fn t :: (Type * Type) => t.2 6 con sndTT = fn t :: (Type * Type) => t.2
5 7