-
Notifications
You must be signed in to change notification settings - Fork 1
Improve UI and interaction #12
Copy link
Copy link
Open
Description
KinanBab
opened on Mar 12, 2020
Issue body actions
- Alternative Node.js/command line interface
- Double check memoization
- Macros for manually specializing carousels static type parameters in input code
- Interactive and gradual "hole parameter" substitution with verbose symbolic expressions by user
- Interactive and gradual "hole parameter" substitution with advice (e.g. take max) by user
- Plotting several functions (relative to the same or different costs and languages) together for comparison
- Recover 3D plot capability form old UI
Reactions are currently unavailable