Remove `BuiltIn`-related data from `Ixon`
Nobody has claimed this yet.
Assessment
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Newbie friendliness
- 55/100
Research direction
Search the repository for BuiltIn and identify the workaround types and their references. Remove the obsolete data while preserving remaining Lean-related behavior, then run the existing test suite to confirm the cleanup does not break the project.
Written by the indexing model from the issue text.
Description
After we moved on from Lean v4.23, the BuiltIn workaround types became obsolete, as they don't come from actual Lean environments anymore.
- Dominant language
- Rust
- Stars
- 96
- Forks
- 3
- Avg merge
- 1d 3h
- Merged PRs (30d)
- 29
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from argumentcomputer/ix
-
`io_load_info` Open
argumentcomputer/ix#419 · 1 assignee ·
-
Difficulty 5/5 Over a week Newbie friendliness 15/100
argumentcomputer/ix#389 ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
argumentcomputer/ix#373 ·
-
Difficulty 5/5 Over a week Newbie friendliness 28/100
argumentcomputer/ix#350 · 1 reaction ·
-
bug enhancement rust
Difficulty 4/5 3-5 days Newbie friendliness 45/100
argumentcomputer/ix#303 ·
All issues in argumentcomputer/ix
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
nautechsystems/nautilus_trader#5095 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
stellar/rs-soroban-env#1739 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
-
bug good first issue package: quic
Difficulty 2/5 1-3 hours Newbie friendliness 78/100