Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: js_amd_patch
Branches Tags
agda
/
examples
/
Miller
ulfn 6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though) 13 years ago
..
Pat.agda 6d2a19e2bc updated examples to new mutual style (some still use old mutual blocks though) 13 years ago