Mercurial > urweb

comparison lib/top.ur @ 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 fun not b = if b then False else True
2
1 con idT (t :: Type) = t 3 con idT (t :: Type) = t
2 con record (t :: {Type}) = $t 4 con record (t :: {Type}) = $t
3 con fstTT (t :: (Type * Type)) = t.1 5 con fstTT (t :: (Type * Type)) = t.1
4 con sndTT (t :: (Type * Type)) = t.2 6 con sndTT (t :: (Type * Type)) = t.2
5 7