A compiler from mini-STG to Wasm (**far from complete**)
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
app
src
.gitignore
LICENSE
README.md
Setup.hs
package.yaml
stack.yaml

README.md

Mini-STG-Wasm: a mini compiler

This is an attempt to compile Spineless Tagless G-Machine ( STG ) language to Web-Assembly bytecode.

About the mini-STG language

The language is similar to the language defined in the classical STG paper by Simon Peyton Jones in 1992: The Implementation of Functional Programming Languages.

The syntax file is modified from the syntax file used in quchen/STGi, since the simplified syntax is just enough to prove my method.