Rewrite Magic Prototype

Rewrite Dungeon

Monsters are formulas. Defeat them by deriving their banishment form with valid rewrite rules.

Hero

HP
Floor
Def

Rulebook

Engaged Monster

Rewrite Attack

Compiler Output


          

          

            
Derivation Trace