msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
Files
991a58badb2a97e839adc6ef852b13cc08e88f66
gf-core/testsuite/runtime/linearize/linearize.gfs.gold
T
krasimir eeb08bbd4d added testcase for linearization with HOAS
2009-06-18 17:47:06 +00:00

4 lines
37 B
Plaintext
Raw Blame History

exists x such that x is even
View Git Blame Copy Permalink