You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Thomas Tan edited this page May 10, 2021
·
8 revisions
By default, when you install cadet-frontend, npm uses the latest version of js-slang available here. However, you can change the programming language implementation that is used by the Frontend (for example, in the Playground), by giving it a different js-slang distribution, possibly one that you modified.
In order to run your own cadet-frontend development version using your own language implementation, do the following: