search

tweag / asterius

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
1.98k stars 55 forks source link

Build and ship semantics.pdf as a part of documentation #889

Open TerrorJack opened 2 years ago