source-academy / js-slang

Implementations of sublanguages of JavaScript, TypeScript, Scheme and Python
https://source-academy.github.io/source/
Apache License 2.0
70 stars 104 forks source link

Typed Source: Enable autocompletion for standard Source functions #1560

Closed Zenkoh1 closed 8 months ago

Zenkoh1 commented 8 months ago

This PR enables the autocompletion of the standard Source functions for the Typed Variant of Source. It does so by including the autocomplete documentation for Typed Source.

Closes #1529

coveralls commented 8 months ago

Pull Request Test Coverage Report for Build 8017266589

Details


Totals Coverage Status
Change from base Build 7998226974: 0.004%
Covered Lines: 10311
Relevant Lines: 12184

💛 - Coveralls