diff options
| author | Théo Zimmermann | 2019-05-23 17:57:20 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-23 17:57:20 +0200 |
| commit | 28bf625cbac7dcf4a21907674b5bd30eb53e5e87 (patch) | |
| tree | 92f30f86f4e47d9b27fe03774139d0be0be9fbe6 /pretyping/typeclasses.ml | |
| parent | d63295c766b26c7b9aa7b814a7df75d75de8a058 (diff) | |
Suggestions from review.
Co-authored-by: Jason Gross <jgross@mit.edu>
Diffstat (limited to 'pretyping/typeclasses.ml')
0 files changed, 0 insertions, 0 deletions