"Validatable" trait for classes using the Valid()/Repr idiom#22
Open
robin-aws wants to merge 2 commits intodafny-lang:masterfrom
Open
"Validatable" trait for classes using the Valid()/Repr idiom#22robin-aws wants to merge 2 commits intodafny-lang:masterfrom
robin-aws wants to merge 2 commits intodafny-lang:masterfrom
Commits
Commits on Oct 5, 2021
- committed
- committed
