Martin Henz

Results 104 issues of Martin Henz

Currently, the deprecated type inference feature is used for the show type shortcut: (activate the feature with control-shift-m: https://github.com/source-academy/frontend/wiki/Source-Academy-Keyboard-Shortcuts) We should disable this for the untyped Source variants, and switch...

Enhancement
proposal

We should (finally) look at internationalization. If we set up the infrastructure, we can gradually externalize our strings and text snippets.

Enhancement
proposal
good project

Currently we have three languages at toplevel: JavaScript, Scheme, Python. Under JavaScript, we have the various Source and Source Typed languages. I propose that we rename Source to JavaScript and...

_refactor
proposal
important

The Louis feature (under development, see #2813) should log questions and answers on our server so that we can monitor its usage and performance. This enhancement request should not prevent...

Enhancement
good project

Example: ```1; 2;``` should produce in the CSE machine: ```1; 2;``` and not ``` { 1; 2; } ```

Enhancement

See wiki: https://github.com/source-academy/frontend/wiki/Environment-Model-Visualiser#animations

Enhancement
good project

In addition to the current option of choosing the language and variants via the query string, we should support the following: * run: run the program automatically * control the...

Enhancement
proposal
good project

The following improvements will make the sessions feature a lot more attractive: * indicating session members to participants, * indicating who is writing There is anecdotal evidence that the feature...

Enhancement
good project

This issue is meant to collect feedback on the revamped grading table. Please let us know what worked and what doesn't and make suggestions how to improve it.

Enhancement
proposal

The stories workspaces for Chapter 3 and 4 should show the CSE Machine.

Enhancement
proposal
important