Fast string -> 'a lookup for use in CakeML
Open
basis extensions
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
This is currently hacked up in several places, e.g., via mapping into nums then using sptrees.
In particular, it would be great to reuse some of the infrastructure (if any) from https://github.com/HOL-Theorem-Prover/HOL/issues/1780
The CakeML implementation could come in several flavors to support the relevant use cases (e.g., both pure and stateful).
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.