comparison tests/stuff.lac @ 5:258261a53842

Elaborating files
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:02:47 -0500
parents 4202f6eda946
children 38bf996e1c2e
comparison
equal deleted inserted replaced
4:5c3cc348e9e6 5:258261a53842
6 6
7 con name = #MyName 7 con name = #MyName
8 8
9 con c6 = {A : c1, name : c2} 9 con c6 = {A : c1, name : c2}
10 con c7 = [A = c1, name = c2] 10 con c7 = [A = c1, name = c2]
11
12 con c8 = fn t :: Type => t