diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2016-08-22 08:32:59 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2016-09-28 15:41:45 +0200 |
| commit | 8e0f29cb69f06b64d74b18b09fb6a717034f1140 (patch) | |
| tree | e64020b49acb7275e3609614bc171127c04405eb /pretyping/pretyping.mli | |
| parent | 405acea72a67c31ec8554c1f76d51518a5df769a (diff) | |
Typeclass backtracking example by J. Leivant
Diffstat (limited to 'pretyping/pretyping.mli')
0 files changed, 0 insertions, 0 deletions