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 /src/errormsg.sig | |
parent | 3d24185389cef552d4b442d16d0c5ed1d8ccaf87 (diff) |
A simple eta rule for constructor-level tuples
Diffstat (limited to 'src/errormsg.sig')
0 files changed, 0 insertions, 0 deletions