make mkRawMonad and mkRawApplicative universe-polymorphic#2314
Merged
JacquesCarette merged 2 commits intoagda:masterfrom Mar 9, 2024
Merged
make `mkRawMonad` and `mkRawApplicative` universe-polymorphic#2314JacquesCarette merged 2 commits intoagda:masterfrom
JacquesCarette merged 2 commits intoagda:masterfrom
Commits
Commits on Mar 9, 2024
- committed
Gan Shen - committedGan Shen