dotfiles/fish/.config/fish/functions/coqtop.fish

function coqtop
    rlwrap coqtop $argv
end
fish: functions: Add an alias to coqtop Wrap coqtop in rlwrap and create an alias for that. 2022-01-07 16:09:57 +01:00			`function coqtop`
fish: Clean up with fish_indent 2022-04-12 14:11:50 +02:00			`rlwrap coqtop $argv`
fish: functions: Add an alias to coqtop Wrap coqtop in rlwrap and create an alias for that. 2022-01-07 16:09:57 +01:00			`end`