diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-01-29 18:19:25 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-01-29 18:19:25 -0500 |
| commit | 84d1243b0f9db53c9a25ee86e929ff7c6ea7f4f4 (patch) | |
| tree | ef87ccb685fbe75fd9dfc786039b2ef3fec1fecc /demo | |
| parent | 4063d1c5696438d73c0b15d7552e7717327e8ba1 (diff) | |
Add another simple case for record unification between alpha-equivalent constructors
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions