diff src/ur/openidFfi.urs @ 6:99496175078b

Added preliminary versions of all the authentication verification steps
author Adam Chlipala <adam@chlipala.net>
date Mon, 27 Dec 2010 13:18:02 -0500
parents 2d409aff8800
children 976121190b2d
line wrap: on
line diff
--- a/src/ur/openidFfi.urs	Sun Dec 26 17:36:07 2010 -0500
+++ b/src/ur/openidFfi.urs	Mon Dec 27 13:18:02 2010 -0500
@@ -14,3 +14,5 @@
 
 val direct : string -> inputs -> transaction outputs
 val indirect : queryString -> transaction outputs
+
+val sha256 : string -> string