shithub: MicroHs

Info • Files • Log • Branches

ref: be01052e02dd12c38b19e05a5346c3dbb09e98dd
dir: /tests/NoForall.ref/

View raw version

((True,True),(True,True))