view 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 source
val init : transaction {}
val discover : string -> transaction (option string)