testify
MiniHints Module
Reusable hint rules for Mini/course-specific teaching scenarios.
Functions and values
| Function or value |
Description
|
|
Suggests checking whether a natural-number literal needs an
|
|
Groups the Mini-specific hints so they can be enabled in a stable order.
|
|
Suggests that a common placeholder implementation still needs to be replaced.
|