Mercurial > urweb

view tests/unbound.ur @ 2057:f4a6ccb7937f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow Body tags inside cformTags This is required by Bootstrap. For example, see http://getbootstrap.com/components/#alerts-dismissible
author Sergey Mironov <grrwlf@gmail.com>
date Sun, 17 Aug 2014 18:28:37 +0000
parents 16ee7ff7f119
children
line wrap: on
line source
structure M = struct end

fun f (x : $M.r) : $([A = int] ++ M.r) = x