Standard ML compatibility mode
Open
enhancement
medium effort
medium reward
user experience
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
As the compiler improves, we may wish to try to market it to users of SML binary compilers. Currently, CakeML requires its own syntax, which such users generally do not have.
Additionally there would be demo value in being able to run (portions of) HOL4 and the CakeML proof scripts on itself.
This is of limited use without the ability to load code from files (https://github.com/CakeML/cakeml/issues/319#issuecomment-338555569).
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.