Skip to content

GitLab

Open
Created by Ralf Jung@jungOwner0 of 1 task completed0/1 task

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