5 lines
38 B
Coq
5 lines
38 B
Coq
|
|
[true]
|
||
|
|
['is true' puts]
|
||
|
|
if
|
||
|
|
=is true
|