diff options
| author | Matej Kosik | 2015-10-30 12:52:05 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:10 +0100 |
| commit | 32d7eb310f348bf4fcc6222de75bc5b423c9787e (patch) | |
| tree | 6271ccd72529687e14212ac6ad3525bb00b87f3d /kernel/cbytecodes.mli | |
| parent | a388e5401c2f83f4068314087e67d751acb59d17 (diff) | |
CLEANUP: the explanation of why eta-reduction is a bad idea was rephrased
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions