Mercurial > urweb

view demo/list.urs @ 1659:8de2ea0a0701

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change linking argument order, based on reported problems in Ubuntu 11.10
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Jan 2012 19:23:34 -0500
parents 4d519baf357c
children
line wrap: on
line source
datatype list t = Nil | Cons of t * list t

val length : t ::: Type -> list t -> int

val rev : t ::: Type -> list t -> list t