search

LayerXcom / verified-vyper-contracts

FVyper: A collection of useful Vyper contracts developed with formal methods
Apache License 2.0
55 stars 15 forks source link

Update syntax #84

Open hskang9 opened 5 years ago

hskang9 commented 5 years ago

I changed codes from the update from the recent vyper.