Mercurial > urweb

comparison tests/stuff.lac @ 11:e97c6d335869

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple elaboration working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 28 Mar 2008 15:20:46 -0400
parents a455a9f85cc3
children d89477f07c1e
comparison
equal deleted inserted replaced
10:dde5c52e5e5e 11:e97c6d335869
13 13
14 con c9 = {} 14 con c9 = {}
15 con c10 = ([]) :: {Type} 15 con c10 = ([]) :: {Type}
16 16
17 val v1 = fn t :: Type => fn x : t => x 17 val v1 = fn t :: Type => fn x : t => x
18 val v2 = v1 [c1] (fn y => y) 18 val v2 = v1 [t :: Type -> t -> t] v1