yellowsquid/agda-wasm.git/src/Wasm/Validation, branch master Agda implementation of WebAssembly http://git.yellowsquid.uk/yellowsquid/agda-wasm.git/atom?h=master 2021-08-10T18:11:38Z 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 Complete Section 3 - Validation. 2021-07-28T15:56:07Z Chloe Brown chloe.brown.00@outlook.com 2021-07-28T15:56:07Z urn:sha1:a3a8a44b4bc0d60164452826645066a5ffed5bc5