diff src/ur/openidFfi.urs @ 1:c230e6da3ff6

Discovered LiveJournal endpoint
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 13:10:36 -0500
parents 3c209338e596
children b757dc2bd2f6
line wrap: on
line diff
--- a/src/ur/openidFfi.urs	Sun Dec 26 12:04:08 2010 -0500
+++ b/src/ur/openidFfi.urs	Sun Dec 26 13:10:36 2010 -0500
@@ -1,1 +1,2 @@
 val init : transaction {}
+val discover : string -> transaction (option string)