diff options
| author | lianah <lianahady@gmail.com> | 2013-10-08 19:22:19 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-10-08 19:22:19 -0400 |
| commit | 000f574406c29df4c60947169ef527ee5316beb7 (patch) | |
| tree | e2bc0426627689ccd59d63976c9497cb9f0dc335 /.mailmap | |
| parent | 3361081acd11178d0eb580ce91279a2ecaa7aa65 (diff) | |
added currying for uf proofs; still needs debugging
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions