Ur/Web: tests/cfold_disj.ur annotate

Refactored a lot and fixed an and/or swap, but still not good on current test.

rev	line source
adamc@90	1 con id = fold (fn nm => fn t :: Type => fn acc => [nm] ~ acc => [nm = t] ++ acc) []
adamc@90	2
adamc@90	3 con idT = id [D = int, E = float]
adamc@90	4
adamc@90	5 val idV = fn x : $idT => x.E

Mercurial > urweb