Thomas Tan

Missing type environment when evaluating editorPrelude

1

# Background When running missions/quests/etc it's common for there to be a prelude which runs import statements and other testing code that's accessible to the student. To support certain use...

[Image of waveform in Audacity](https://puu.sh/rJF62/0bcda7ac38.png) I'm getting clicks at the start of every sound. This is the code I'm using atm, on Firefox 49.0, OS X (El Capitan). ``` var...

This way the command prompt starts on the next line instead of on the same line as "> "

Source Typed: Support multiple function signatures of builtins

2

Right now builtins such as `display` cannot be typechecked as it has multiple signatures * `display(v: T): T` * `display(v: T, s: string): T` Should be a small fix though.