Mercurial > openid
comparison src/ur/openidFfi.urs @ 28:fcd3a977d77b
More type class instances for user type; allow choose to fail
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 24 Feb 2011 17:29:05 -0500 |
| parents | f129ddee75f3 |
| children | 00c8f43be8b7 |
comparison
equal
deleted
inserted
replaced
| 27:f129ddee75f3 | 28:fcd3a977d77b |
|---|