diff options
| author | Alberto Ruiz <aruiz@um.es> | 2015-10-07 19:15:14 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2015-10-07 19:15:14 +0200 |
| commit | 7a269b14026eee91daba7eea8aacc6eff7631968 (patch) | |
| tree | cb3b22262157e825776cebaeab307a19a3609aa8 /examples/deriv.hs | |
| parent | 67193d47b9c23921975b2723af0c432ef15b5ff5 (diff) | |
bump version and thanks
Diffstat (limited to 'examples/deriv.hs')
0 files changed, 0 insertions, 0 deletions