yshui/lix
0
0
Fork 0
forked from lix-project/lix
Code Pull requests Activity
lix/tests/lang/eval-okay-eq-derivations.exp

2 lines
25 B
Text
Raw Normal View History

* Add a test case for comparing derivations.
2012-01-19 22:10:24 +00:00
[ true true true false ]
Copy permalink