Mercurial > urweb

diff lib/ur/basis.urs @ 1360:02fc16faecf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 17:46:40 -0500
parents e525ad571e15
children 1a78ca089bd0
line wrap: on
line diff
--- a/lib/ur/basis.urs	Thu Dec 23 11:23:31 2010 -0500
+++ b/lib/ur/basis.urs	Thu Dec 23 17:46:40 2010 -0500
@@ -146,6 +146,11 @@
 val timef : string -> time -> string (* Uses strftime() format string *)
 
 
+(** * Encryption *)
+
+val crypt : string -> string -> string
+
+
 (** HTTP operations *)
 
 con http_cookie :: Type -> Type