diff options
author | Paweł Dybiec <pawel.to.malpa@gmail.com> | 2020-01-19 22:59:54 +0100 |
---|---|---|
committer | Paweł Dybiec <pawel.to.malpa@gmail.com> | 2020-01-19 22:59:54 +0100 |
commit | 0c815fa3eb480ae5e05370699cead004d81cf65c (patch) | |
tree | 93d52978256d18d5ab47f1e247fc31539166f3e4 /.gitignore | |
parent | More tests (diff) |
Add Except monad, and destructors for records and variants
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions