CakeML / CakeML/cakeml

Restore examples/compilation/to_word

Open
#1,101 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

`examples/compilation/to_word` depended non trivially on `compilationLib` which was removed in #1097 - ideally, a version of `to_word` should be created without that dependency.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reading examples/compilation/to_word and the removal described in #1097 to understand how it depended on compilationLib. Restore an equivalent to_word example without that dependency, and confirm the example builds and works independently.

Written by the indexing model from the issue text.

Assessment

Domain
compilers
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.