Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
TODO: document the setup of the IntoWand and WandWeaken type classes and the tricks using Hint Mode.
Robbert Krebbers authoredTODO: document the setup of the IntoWand and WandWeaken type classes and the tricks using Hint Mode.
