diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-07-26 14:32:59 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-07-26 14:32:59 +0200 |
| commit | a0214d53a9a7fa1dc47375c7f048a15bed5dc523 (patch) | |
| tree | ea0d69995fb8f4fc5ee9865e24afd513e4222dae /pretyping/typeclasses.mli | |
| parent | c50f5c4655e29989fb4b15c7e391bfb38785b251 (diff) | |
| parent | 21327e39ef6c6e04569bf8f138d242819139964d (diff) | |
Merge PR #859: Extraction TestCompile
Diffstat (limited to 'pretyping/typeclasses.mli')
0 files changed, 0 insertions, 0 deletions