Adopt my Pull Requests [1000 Mana per PR]
Ṁ1,000 / 3000
bounty left

I have some PRs marked as please-adopt here, here, and here, If you complete these lemmas and get the PRs merged, I will give you 1000 Mana.

Get
Ṁ1,000
to start trading!
© Manifold Markets, Inc.TermsPrivacy