add tests for GAT minting

Browse source

no more propsoal T_T

...

This commit is contained in:

Hongrui Fang 2022-07-18 18:31:51 +08:00

parent 2098de2d9c

commit 558313e213

12 changed files with 1544 additions and 751 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

1155

agora-specs/Sample/Proposal/Advance.hs

View file

File diff suppressed because it is too large Load diff