• Robbert Krebbers's avatar
    Fix issue #68. · 2550dff5
    Robbert Krebbers authored
    TODO: document the setup of the IntoWand and WandWeaken type classes
    and the tricks using Hint Mode.
    2550dff5
classes.v 4.11 KB