Mercurial > urweb

annotate tests/polyjsFfi.urs @ 2134:752e5efe9da9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use hyperref in manual This allows the table of contents to show up properly in PDF readers.
author Julian Squires <julian@cipht.net>
date Fri, 24 Apr 2015 07:43:22 -0400
parents 276fa06428ba
children
rev   line source
adam@1836 1 val one : a ::: Type -> a -> a
adam@1836 2 val two : a ::: Type -> b ::: Type -> a -> b