Move monadic examples into main examples directory
Open
refactoring
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
All the CakeML examples should probably be in one place, at least if they are about whole programs. This issue is to discuss and then possibly move the monadic translator examples into the main examples directory. (And to compile them!)
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.