diff options
| author | Paweł Dybiec <pawel.to.malpa@gmail.com> | 2020-01-20 02:29:06 +0100 |
|---|---|---|
| committer | Paweł Dybiec <pawel.to.malpa@gmail.com> | 2020-01-20 02:29:06 +0100 |
| commit | 372d2f6ba7c0758f9bfb223acedce6b3a2fa6ea7 (patch) | |
| tree | 694ad15e2cd396774838bbfde7abb4d85f0e28ca /.gitignore | |
| parent | Add Except monad, and destructors for records and variants (diff) | |
Fix variants typing, add wellformedness for commands
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions