yellowsquid/agda-wasm.git/src/Wasm/Data, branch master Agda implementation of WebAssembly http://git.yellowsquid.uk/yellowsquid/agda-wasm.git/atom?h=master 2021-08-31T09:28:46Z Introduce type-safe instances and threads 2021-08-31T09:28:46Z Chloe Brown chloe.brown.00@outlook.com 2021-08-31T09:28:46Z urn:sha1:9a746a0b0e9f1143a8f3922473f91c47a3af665b Fill in definition of `Constant`. 2021-08-12T15:58:32Z Chloe Brown chloe.brown.00@outlook.com 2021-08-12T15:58:32Z urn:sha1:f1d1cb690e7e0487e18d235a919af1c147f39884 Rewrite so only valid modules can be constructed. 2021-08-10T18:11:38Z Chloe Brown chloe.brown.00@outlook.com 2021-08-10T18:11:38Z urn:sha1:904924c33720c3481f738966f32e9c34736f92cf