aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainfix having different some/none constructor cases in essayAria Shrimpton7 months
 
 
AgeCommit messageAuthor
2024-07-07fix having different some/none constructor cases in essayHEADmainAria Shrimpton
2024-07-07minor fixes & bring back essayAria Shrimpton
2024-05-21wip: start test script stuffAria Shrimpton
2024-04-24print out inferred module typeAria Shrimpton
2024-04-24actually parse wasm modules from textAria Shrimpton
2024-04-24fix makefile not tracking everythingAria Shrimpton
2024-04-24fix haskell-wasm versionAria Shrimpton
2024-04-20add makefile and readmeAria Shrimpton
2024-04-20fix build environmentAria Shrimpton
2024-02-26some more validationAria Shrimpton
[...]
 
Clone
https://code.aria.rip/wasm-agda