msyds/haskell-wasm
1
0
Fork 0
forked from GitHub/haskell-wasm
Code Pull Requests Activity

update goals

Browse Source
This commit is contained in:
Ilya Rezvov
2018-03-21 09:49:50 -07:00
parent 8a22d84804
commit 8c8cec0498
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+2 -2
View File
@@ -12,11 +12,11 @@
* [x] Binary format parser/serializer
* [x] Validation Phase: execute a verification procedure from the Spec
* [x] Execution Phase: implement a simple interpreter
* [x] Support extended Core Test Suit assertion grammar
## Todo
* [ ] Improve error messages for text representation parsing
* [ ] Text Representation pretty-printer
* [ ] Support extended Core Test Suit assertion grammar
* [ ] Compile Core Tests to Tasty test cases and pass all tests
* [ ] Command line tool for calling interpreter/compiler/validator
* [ ] Codegen interface for type-guaranted generating valid WASM code
* [ ] Codegen interface for type enforced generating valid WASM code