8 lines
64 B
Coq
8 lines
64 B
Coq
|
module main
|
||
|
|
||
|
import commands
|
||
|
|
||
|
fn main() {
|
||
|
commands.execute()
|
||
|
}
|