Wabbit ㍿

Compiler-plugin stack enabling typeclass-oriented programming via context parameters; implicit evidence search, rule-style instances, derived instances, proof materialization, and Gradle/IDE integration.

Enforces explicit opt-in for global mutable state via RequiresGlobalState annotation; detects top-level and singleton mutables, offers configurable blacklist and Gradle integration.

Enforces structural acyclicity in source code: compiler-plugin family detecting semantic file cycles, rejecting same-file declaration recursion, enforcing declaration order, and supporting explicit all-participant opt-out annotations.