Remove unused theories
Open
- Dominant language
- Standard ML
- Stars
- 44
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Some theories are unused. These should be checked to see if anything is worth keeping around - if not, they should be deleted. These seem to include the following, but we should check for more:
- `thunk_case_d2bProofTheory`
- `thunk_case_inlProofTheory`
- `thunk_case_unboxProofTheory`
- `pure_letrec_funTheory`
- `pure_letrec_lam{,Proof}Theory`
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.