diff options
| author | Eduardo Julian | 2017-07-15 20:45:10 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-07-15 20:45:10 -0400 |
| commit | 4c36eaf769bc74e708d1f63e67ff612176963731 (patch) | |
| tree | 797ca6d0222bae3293646e690ad58690f89b6b2c /.gitignore | |
| parent | fbd8a37baf6d50d62716d69b451d4ac58b872283 (diff) | |
- Can now generate Eq instances for #rec-style recursive types.
- Minor refactorings.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions