wasm-agda #

This is a work-in-progress formalisation of WebAssembly using Agda.

Building #

You can use nix to get a build environment by running nix-shell. If not, you'll need Agda, and GHC with the haskell-wasm directory installed.

Then, you can use:

• make check to typecheck everything
• make to build the main executable (to src/Main)
• make clean to clean up