aria.rip / wasm-agda
This repository has no description
Star
Fork 0
Watch

some more validation master
Author Aria Shrimpton Date Commit 9773ea40 Parent 2e6030ec
+23 -11
2 changed files