mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
tvl-depot/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 23:10:24 +01:00
[ true true true false ]
Reference in a new issue Copy permalink