diff options
| author | Théo Zimmermann | 2018-07-28 19:37:21 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-07-28 19:37:21 +0200 |
| commit | bcde7ca41b1e444b04559baed62afda3a3ab5d09 (patch) | |
| tree | ae3dd49b96de896228cc9be3f29c0204619fb34d /plugins/extraction/ExtrHaskellBasic.v | |
| parent | f416349d504dcdd3a5744c85ab4554f2f6989ebf (diff) | |
| parent | 69084805528f7d4697c88a436e057612f70ad72c (diff) | |
Merge PR #8160: Improved chapters 'Implicit Coercions' and 'Canonical Structures' of the Reference Manual.
Diffstat (limited to 'plugins/extraction/ExtrHaskellBasic.v')
0 files changed, 0 insertions, 0 deletions