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
Eelco Dolstra 126c7317bc * Add a test case for comparing derivations.
2012-01-19 22:10:24 +00:00

1 line
25 B
Text
Raw Blame History

[ true true true false ]
Reference in a new issue View git blame Copy permalink