Written in Goose for verification in Iris.
To translate with goose (in the repo directory):
goose -out ~/code/perennial/external/GooseTo makes changes you'll need to submit a pull request so that CI can run first.
-
Notifications
You must be signed in to change notification settings - Fork 0
verified "standard library" for Goose
License
goose-lang/std
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
verified "standard library" for Goose
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published