diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-12-31 13:02:56 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-12-31 13:02:56 -0500 |
| commit | dd92f19fcee5c66e0f63eaf49b746604ddd57210 (patch) | |
| tree | e6cd0190fb5ded89a057b7a8ddcc7ccc11439a32 /m4 | |
| parent | 3d24185389cef552d4b442d16d0c5ed1d8ccaf87 (diff) | |
A simple eta rule for constructor-level tuples
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions