argumentcomputer / argumentcomputer/Wasm.lean
Feature: Implement float binary encoding
Open
- Dominant language
- Lean
- Stars
- 48
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
# Why?
We support floats in the PoC Wasm implementation (for a number of reasons). But we're yet to support them in binary encoder.
# What?
- [ ] Read the standard
- [ ] Understand the standard
- [ ] Implement the standard [declaratively] in Lean
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reading and understanding the WebAssembly standard for float binary encoding, then inspect the existing binary encoder in the Lean4 implementation. Done means the standard is implemented declaratively in Lean and float values are encoded according to the specification.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100