diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-02 23:39:22 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-02 23:39:22 +0000 |
| commit | 5c6ffb3bb6801ca50608700213385e13dae4ef97 (patch) | |
| tree | b1c95d8cec6557c5edc5183184e29966ae4cabfa /bugs | |
| parent | 109f8ad0b542ba94839796a4a01e250ed88027b5 (diff) | |
| download | verismith-5c6ffb3bb6801ca50608700213385e13dae4ef97.tar.gz verismith-5c6ffb3bb6801ca50608700213385e13dae4ef97.zip | |
Add applicative instance and Expr reduction
Diffstat (limited to 'bugs')
0 files changed, 0 insertions, 0 deletions