Mercurial > urweb

view demo/list.urs @ 1748:95dd9f427bb2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix from Edward Yang to generation of 404 errors in FastCGI
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 12:37:43 -0400
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