Initial commit

This commit is contained in:
Zhongwei Li
2025-11-30 08:35:16 +08:00
commit 676815a598
5 changed files with 149 additions and 0 deletions

3
README.md Normal file
View File

@@ -0,0 +1,3 @@
# rbs-goose
Setup rbs type definitions for steep and automatically fix type errors