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

fix having different some/none constructor cases in essay master
Author Aria Shrimpton Date Commit 60f15182 Parent ede0479d
+86 -158
1 changed file