Mercurial > urweb
comparison tests/stuff.lac @ 11:e97c6d335869
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 |