Open aabounegm opened 1 year ago
Report typechecking errors with the red squiggly lines. Perhaps it's also desirable to add gutter decorations to display ✅ next to definitions that typecheck (sample snippet on SO), for example, but I'm not sure if this should be a separate issue.
Report typechecking errors with the red squiggly lines. Perhaps it's also desirable to add gutter decorations to display ✅ next to definitions that typecheck (sample snippet on SO), for example, but I'm not sure if this should be a separate issue.