Closed achirkin closed 6 years ago
In src/Foundation.hs
, line 479 in maybeEnroll
, we can have a look at setting the role in the session as well.
Working on this in https://github.com/NorfairKing/qua-kit/tree/workshop-mode
Closing, because remaining issues are obsolete or went to #75 .
Syd:
Mauro:
exercise_id
).