Martin Henz
Martin Henz
Action: Admin panel > Users > click action "x Delete User"
To minimize the effort to export grades at the end of the semester, we might want to see that the generated CSV files in the "Export to CVS" function in...
The REPL cannot be explained using the substitution model. You can't substitute an expression for a name in statements that haven't been entered yet by the user! So I propose...
An admin should be allowed to switch a course to "exam mode" where some features are disabled: share links, sessions, playground local storage, github and google drive.
This is a recurring nuisance for Avengers: They need to manually enter "0 marks" for the grading to be "completed" when a student hasn't answered a question. At submission deadline,...
The students will appreciate a gauge how far they have progressed in the module (quantity) and how well they have done so far (quality). For this, we might be able...
Currently, features such as grading and chatkit need a student/group assignment, which is uploaded as part of the deployment process. Ideally, the only place where groups are needed is for...
The `canAvoidInstr` function is extremely inefficient and slows down the deployment each time by almost one hour! @RichDom2185 and @sayomaki commented: the code is not very efficient at all, it...
Remove all of `src/interpreter` once https://github.com/source-academy/sicp/issues/990 is resolved. Currently, Source §3 Non-Det is not working. Older version works. E.g. the first example in SICP JS 4.3 https://sourceacademy.nus.edu.sg/sicpjs/4.3.1 works without error...