5 lines
65 B
Coq
5 lines
65 B
Coq
|
|
singleton;
|
||
|
|
|
||
|
|
restore {
|
||
|
|
console.log('worked!\n'.repeat(10));
|
||
|
|
}
|