comparison src/ur/lib.urp @ 17:df2eb629f21a

Successfully created an account
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 14:42:37 -0500
parents 9851bc87b0d7
children f129ddee75f3
comparison
equal deleted inserted replaced
16:9851bc87b0d7 17:df2eb629f21a
7 effectful OpenidFfi.addInput 7 effectful OpenidFfi.addInput
8 effectful OpenidFfi.direct 8 effectful OpenidFfi.direct
9 effectful OpenidFfi.indirect 9 effectful OpenidFfi.indirect
10 effectful OpenidFfi.generate 10 effectful OpenidFfi.generate
11 effectful OpenidFfi.compute 11 effectful OpenidFfi.compute
12 library $META
12 13
13 $/string 14 $/string
14 $/option 15 $/option
15 $/list 16 $/list
16 openid 17 openid