diff src/ur/lib.urp @ 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 f59083771ee2
children 870d99055dd1
line wrap: on
line diff
--- a/src/ur/lib.urp	Sun Dec 26 17:36:07 2010 -0500
+++ b/src/ur/lib.urp	Mon Dec 27 13:18:02 2010 -0500
@@ -7,5 +7,6 @@
 effectful OpenidFfi.addInput
 effectful OpenidFfi.indirect
 
+$/string
 $/option
 openid