Mercurial > urweb

annotate tests/cfold_disj.ur @ 1748:95dd9f427bb2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix from Edward Yang to generation of 404 errors in FastCGI
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 12:37:43 -0400
parents 71bafe66dbe1
children
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