diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-09-03 15:52:12 +0200 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-09-04 10:25:55 +0200 |
| commit | a93dbac35ed828286b0af9e5c6597081ed24a553 (patch) | |
| tree | 7e25dc399c171fa246d72411847912c0797932df /.gitignore | |
| parent | af0dad8ef026943b31025c5b4a7a552c19b7fdfa (diff) | |
Inductive and CoInductive records are printed correctly.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions