Mercurial > urweb

view demo/list.urs @ 1424:7f6ac9f33d4d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More information in error message about select of field from unbound table
author Adam Chlipala <adam@chlipala.net>
date Thu, 17 Feb 2011 14:18:18 -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