4 lines
42 B
Fish
4 lines
42 B
Fish
|
function coqtop
|
||
|
|
rlwrap coqtop $argv
|
||
|
|
end
|