Branch | Commit message | Author | Age | |
---|---|---|---|---|
main | fix having different some/none constructor cases in essay | Aria Shrimpton | 7 months | |
Age | Commit message | Author | ||
2024-07-07 | fix having different some/none constructor cases in essayHEADmain | Aria Shrimpton | ||
2024-07-07 | minor fixes & bring back essay | Aria Shrimpton | ||
2024-05-21 | wip: start test script stuff | Aria Shrimpton | ||
2024-04-24 | print out inferred module type | Aria Shrimpton | ||
2024-04-24 | actually parse wasm modules from text | Aria Shrimpton | ||
2024-04-24 | fix makefile not tracking everything | Aria Shrimpton | ||
2024-04-24 | fix haskell-wasm version | Aria Shrimpton | ||
2024-04-20 | add makefile and readme | Aria Shrimpton | ||
2024-04-20 | fix build environment | Aria Shrimpton | ||
2024-02-26 | some more validation | Aria Shrimpton | ||
[...] | ||||
Clone | ||||
https://code.aria.rip/wasm-agda |