Open msakai opened 3 years ago
I've been submitted many pull requests but many of them were not merged nor reviewed.
Because I'm using the package for implementing my SMT solver at https://github.com/msakai/toysolver , I'm interested in maintaining this package.
Would it be possible to add me as a maintainer (specifically, as a collaborator of this repository and as a maintainer on Hackage)?
I've been submitted many pull requests but many of them were not merged nor reviewed.
Because I'm using the package for implementing my SMT solver at https://github.com/msakai/toysolver , I'm interested in maintaining this package.
Would it be possible to add me as a maintainer (specifically, as a collaborator of this repository and as a maintainer on Hackage)?