Skip to content
← Back to tags

tool · inferred from evidence

attw

A tool (likely AreTheTypesWrong) used in CI to catch regressions in type declarations.