-
Notifications
You must be signed in to change notification settings - Fork 15
Insights: goose-lang/goose
Overview
-
- 2 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 1 New issue
There hasn’t been any commit activity on goose-lang/goose in the last week.
Want to help out?
2 Pull requests merged by 2 people
-
Add proof-setup utility to start proofs
#99 merged
May 19, 2025 -
Pass type args when they appear in function calls.
#100 merged
May 19, 2025