diff options
author | stuebinm | 2021-09-20 21:41:50 +0200 |
---|---|---|
committer | stuebinm | 2021-09-20 21:41:50 +0200 |
commit | 9a8d793f8f08fd5674bc6a917278ee7251bac56f (patch) | |
tree | 7fce0b5da0739a23af4c2f16794a3240d6c4080f /.gitignore | |
parent | 727f2cbc5feb3cdd30df3c78f39ba4a58e6c4832 (diff) |
rebuilding the core LintWriter monad
it is no longer an Either since that wasn't used anyways, but is now
also a Reader.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions