• 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
fancy_updates.v 9.4 KB