lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard

add shortcuts/menus in emacs/vscode for some commands

Open fblanqui opened this issue 1 year ago • 0 comments

It would be nice to have in emacs/vscode shortcuts/menus to run some commands (compute, type, print, search, flag, debug, verbose) without having to write them in the file.

fblanqui avatar Nov 22 '24 08:11 fblanqui