diff options
| author | aspiwack | 2013-11-02 15:37:00 +0000 |
|---|---|---|
| committer | aspiwack | 2013-11-02 15:37:00 +0000 |
| commit | ab1859f7bac626704de49d1df9d9ee05c2538a5b (patch) | |
| tree | 96ad2e91a97364fdd103c10d53e91183c6d5285e /kernel/type_errors.mli | |
| parent | 70034c758c64191f70a2464a72d9ba7e4aa87d87 (diff) | |
More optimisations of partial applications.
This time in Goal.
Patch by Pierre-Marie Pédrot.
Signed-off-by: Arnaud Spiwack <arnaud@spiwack.net>
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16992 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions