comparison 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
comparison
equal deleted inserted replaced
0:3c209338e596 1:c230e6da3ff6
1 val init : transaction {} 1 val init : transaction {}
2 val discover : string -> transaction (option string)