Mercurial > urweb

annotate demo/list.urs @ 2282:19b233bb3176

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make cache flushes safe for transactions (not sure about LRU bump on read).
author Ziv Scully <ziv@mit.edu>
date Thu, 12 Nov 2015 09:47:20 -0500
parents 4d519baf357c
children
rev   line source
adamc@397 1 datatype list t = Nil | Cons of t * list t
adamc@397 2
adamc@397 3 val length : t ::: Type -> list t -> int
adamc@397 4
adamc@397 5 val rev : t ::: Type -> list t -> list t