New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Sum types for ERC20 #1445

Draft

bugarela wants to merge 4 commits into main from gabriela/erc20-sum-types

Collaborator

bugarela commented May 22, 2024

Tests added for any new code
Documentation added for any new functionality
Entries added to the respective CHANGELOG.md for any new functionality
Feature table on README.md updated for any listed functionality

bugarela added 4 commits

November 27, 2023 16:31


          Use sum types in erc20.qnt

aa7147b


          Merge branch 'gabriela/fixes-for-paxos' into gabriela/erc20-sum-types

3dc9bcc


          Merge remote-tracking branch 'origin/main' into gabriela/erc20-sum-types

27559bb


          Rewrite more parts to match the newest version of the contract and use

488a935

the Result ADT.

bugarela force-pushed the gabriela/erc20-sum-types branch from 036350e to 488a935 Compare

June 18, 2024 18:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet