diff src/ur/lib.urp @ 8:870d99055dd1

Diffie-Hellman started but not fully tested; successfully checked signature from AOL
author Adam Chlipala <adam@chlipala.net>
date Wed, 29 Dec 2010 12:16:32 -0500
parents 99496175078b
children 426dd5c88df1
line wrap: on
line diff
--- a/src/ur/lib.urp	Tue Dec 28 19:57:25 2010 -0500
+++ b/src/ur/lib.urp	Wed Dec 29 12:16:32 2010 -0500
@@ -5,7 +5,10 @@
 effectful OpenidFfi.discover
 effectful OpenidFfi.createInputs
 effectful OpenidFfi.addInput
+effectful OpenidFfi.direct
 effectful OpenidFfi.indirect
+effectful OpenidFfi.generate
+effectful OpenidFfi.compute
 
 $/string
 $/option