Mercurial > openid
annotate src/ur/lib.urp @ 13:de04a3fc6b72
Stateless verification worked
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 02 Jan 2011 10:11:38 -0500 |
| parents | 426dd5c88df1 |
| children | 9851bc87b0d7 |
| rev | line source |
|---|---|
| adam@0 | 1 library config |
| adam@0 | 2 ffi openidFfi |
| adam@1 | 3 link -lurweb_openid -lexpat |
| adam@0 | 4 effectful OpenidFfi.init |
| adam@1 | 5 effectful OpenidFfi.discover |
| adam@3 | 6 effectful OpenidFfi.createInputs |
| adam@3 | 7 effectful OpenidFfi.addInput |
| adam@8 | 8 effectful OpenidFfi.direct |
| adam@3 | 9 effectful OpenidFfi.indirect |
| adam@8 | 10 effectful OpenidFfi.generate |
| adam@8 | 11 effectful OpenidFfi.compute |
| adam@0 | 12 |
| adam@6 | 13 $/string |
| adam@2 | 14 $/option |
| adam@9 | 15 $/list |
| adam@0 | 16 openid |