CakeML / CakeML/cakeml

Better names from early pass generated functions

Open
#765 0 comments 0 reactions 0 assignees View on GitHub
dev experience enhancement low effort medium reward user experience
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

`bvi_aux`, `bvl_stub`, and `dec` are only so useful when you have hundreds of each. We should be able to find relevant identifiers in the source and assign _some_ interpretable name to them.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.