Martin Henz

icon indicating a website link https://www.comp.nus.edu.sg/~henz icon indicating an email [email protected]

icon company National University of Singapore icon location Singapore icon location educator in pursuit of scalable experiential learning

Results 101 comments of Martin Henz

Exam mode for courses

Instead of exam mode, we could just give a list of features that admin can enable/disable.

Redesign: Improve Grading Pipeline

As discussed with Shuming, let's postpone this one until December 2019.

Add foreign key constraints to model changsets

I asked Julius, and this is what he says: Essentially we didn't really use course and accounts contexts so we haven't put them in Someone just needs to check that...

Scoping issues in REPL when using explicit control variants

Note: this problem does not seem to occur in Source Academy:

Native: Importing new names in the REPL do not work properly

This issue persists as of today.

Source Native: Unable to run any code in REPL before running code in the main editor

This seems to be a very recent regression, introduced today or yesterday: I had some sourceacademy.org workspaces in tabs that showed the correct behaviour. After a hard refresh, the bug...

Incorrect location for errors thrown by prelude functions

This issue persists as of today.

Remove src/interpreter/interpreter.ts

I think we should completely remove it. It's a confusing legacy component at this point. Where are these "mocks" used?

Add a few explanation for linking sections of stepper specification t…

Can we close this PR? It seems superseded by https://github.com/source-academy/js-slang/pull/1680

Add a few explanation for linking sections of stepper specification t…

I think this PR is no longer needed.