hydra

Core
Pro
Views
hydra as folk-physics for Banach-Tarski you have to observe the termination into stillness to prevent it from forking into *was* and *was not*