Hey @ray-react0r, @hanbu97 ,
You both worked independently on this bounty although you haven’t been assigned to the bounty. We still want to award you for the work. We’ll be adding USD 500 to the bounty and pay you each USD 1250 in ICP.
@ray-react0r I’d like to make the payment contingent on properly “distributing” the library. Ideally, this would mean getting it upstream to Quint’s library or releasing your own package on MOPS and (potentially) adding it to GitHub - motoko-unofficial/awesome-motoko: A curated list of Motoko code and resources..
I will be getting in contact with you in private messages for the next steps with regards to payment.