8 lines
143 B
Coq
8 lines
143 B
Coq
|
namespace xyz.places;
|
||
|
|
singleton;
|
||
|
|
|
||
|
|
import 'terminal-kit' as terminalkit;
|
||
|
|
|
||
|
|
restore {
|
||
|
|
terminalkit.terminal.cyan('~Welcome to Vogue~\n');
|
||
|
|
}
|