diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-02-21 21:26:59 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-02-21 21:26:59 +0100 |
| commit | 8f4bb4eddb4dabf20a9256d406a1b9823a54879b (patch) | |
| tree | fc77c594874bd641de5f11e1526e04c226831952 /.gitignore | |
| parent | b27bbb421aa9806d1f3d6a524968a2f2df092b8e (diff) | |
Applicative instance for Expr
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions