You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In teh previous commit I used amp [1] to start converting the RBI file into
inline RBS style type annotations. It got me a fair way, but..... I spent
enough money on the experiment and it was gonna cost a whole lot more to
get it done. If I'd even get there.
I flipped into manual fixup mode and got `srb tc` passing.
[1] https://ampcode.com/manual
0 commit comments