Skip to content
GitLab
Find file Blame History Permalink
  • 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