diff options
author | Jason Gross <jasongross9@gmail.com> | 2016-08-01 13:22:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-01 13:22:21 -0700 |
commit | 212b073990426dccd8799294c583e2e58a015463 (patch) | |
tree | 546ae1c8fc26f3f73f71e94bc49072caf598191a /.gitmodules | |
parent | b92653291b6ac977d2bf1b72420d686580adf2f4 (diff) |
Add documentation: Equality, HProp, Isomorphism, Sigma (#41)
* Add doc: Equality, HProp, Isomorphism, Sigma
* Update documentation with suggestions from Andres
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions