Mercurial > urweb

view tests/polyjsFfi.urs @ 1841:184d00f7be74

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add more HTML singleton tags, anticipating that others may make them available via the FFI
author Adam Chlipala <adam@chlipala.net>
date Mon, 31 Dec 2012 09:04:35 -0500
parents 276fa06428ba
children
line wrap: on
line source
val one : a ::: Type -> a -> a
val two : a ::: Type -> b ::: Type -> a -> b