Skip to content
GitLab
Open
Issue created by Ralf Jung@jungOwner0 of 3 checklist items completed0/3 checklist items

Make sure we have Hint Mode for every typeclass

We should have Hint Mode for all our Classes. We could detect this with some kind of shell script that greps for Class, extracts the name, and then greps for Hint Mode.

Currently known missing Modes:

  • IntoVal
  • Wp
  • Twp
Edited by Ralf Jung