forked from vieter-v/vieter
2 lines
15 B
Coq
2 lines
15 B
Coq
|
module console
|
|
module console
|