yellowsquid/agda-wasm.git/src, 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 Complete Section 3 - Validation. 2021-07-28T15:56:07Z Chloe Brown chloe.brown.00@outlook.com 2021-07-28T15:56:07Z urn:sha1:a3a8a44b4bc0d60164452826645066a5ffed5bc5 Cleanup before working on 'Modules' 2021-07-28T15:55:28Z Chloe Brown chloe.brown.00@outlook.com 2021-07-28T15:55:28Z urn:sha1:9812bb2ae394b59ae9fcb7cf9b78fd260aa3e92a Complete Section 2 - Structure. 2021-07-20T14:10:50Z Chloe Brown chloe.brown.00@outlook.com 2021-07-20T14:10:50Z urn:sha1:aacd555894fb559365774ddfa899656b95205e4e