diff options
| author | Tanaka Akira | 2019-01-31 16:18:07 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-31 16:18:07 +0900 |
| commit | 039007f93fa130261c97ec1188560777f1a297b9 (patch) | |
| tree | bc9f4c8ace46443564da2e1ae2a5fc5d032f5131 /kernel/type_errors.mli | |
| parent | a5abe07d98b089808b2a98b4a90f7974eddc52c7 (diff) | |
Fix syntax of two lambda-abstractions.
In the note about η-reduction,
two lambda-abstraction used "," instead of ".".
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions