diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-06-05 20:58:47 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-06-05 20:58:47 +0200 |
| commit | 202fd8ba096ff5a80102cbec2922eef94061458b (patch) | |
| tree | 5546acec206cffa4201c6e1d75634ece0347e32f /.gitignore | |
| parent | 7f9decf5ec9e4d9fbdfad23d7ce438c95bd8a862 (diff) | |
Refactor expressions as GADT
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions