argumentcomputer / argumentcomputer/Wasm.lean
Clarification: Why did this help?
Open
- Dominant language
- Lean
- Stars
- 48
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
# Why?
I made this fix but I don't understand it:
https://github.com/yatima-inc/Wasm.lean/commit/7fe3fb4fff55b83dbd5d902f729462d6d6f55273#r92996113
# What?
- [ ] Figure out why did the fix work.
- [ ] Is something different between Zepto and Mega semantics?
- [ ] Report on findings.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reading the referenced commit and review discussion at the supplied GitHub link. Compare the Zepto and Mega semantics relevant to the fix, then document why the change worked and report the findings.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- compilers
- Issue type
- Documentation
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100