projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
49fdbda12fda1b8b4753835f4e18561b8567dc19
[ghc-hetmet.git]
/
ghc
/
tests
/
specialise
/
clausify001
/
clausify001.stdout
1
prop> a <=
2
prop>