Mercurial > urweb
diff lib/ur/list.urs @ 1345:9e0fa4f6ac93
Fiddly tweaks
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 16 Dec 2010 13:35:40 -0500 |
parents | 80bff6449f41 |
children | d328983dc5a6 |
line wrap: on
line diff
--- a/lib/ur/list.urs Thu Dec 16 10:23:37 2010 -0500 +++ b/lib/ur/list.urs Thu Dec 16 13:35:40 2010 -0500 @@ -72,6 +72,7 @@ val sort : a ::: Type -> (a -> a -> bool) (* > predicate *) -> t a -> t a val nth : a ::: Type -> list a -> int -> option a +val replaceNth : a ::: Type -> list a -> int -> a -> list a (** Association lists *)