diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/ur/basis.urs | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 6d71d00a..66cc0e50 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -192,11 +192,6 @@ val datetimeSecond : time -> int val datetimeDayOfWeek : time -> int -(** * Encryption *) - -val crypt : string -> string -> string - - (** HTTP operations *) con http_cookie :: Type -> Type |