shithub
:
MicroHs
Info
•
Files
•
Log
•
Branches
ref:
2dc297eb6a2d48cf1e8baae60e3f9edfc54a340a
dir:
/
tests
/
NoForall.ref
/
View raw version
((True,True),(True,True))