Mercurial > urweb

annotate demo/list.urs @ 1454:96353138f016

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bug in projection of constructors from modules in class rules.
author Karn Kallio <kkallio@eka>
date Sun, 01 May 2011 00:26:08 -0430
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