diff options
| author | Matthieu Sozeau | 2014-07-14 19:16:19 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-07-14 19:18:42 +0200 |
| commit | 7f73c09a6031578a1531fade2752b6e99655cba0 (patch) | |
| tree | 55406abcb7c50d4472017df8d390bd4e4a5f7fae /kernel/type_errors.ml | |
| parent | 8e328c6c3b2d6cfe3110abdfe5bb57eeba9c0cc4 (diff) | |
Redo PMP's patch to rewriting to make it purely functional using state passing.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions