lambdapi
lambdapi copied to clipboard
add shortcuts/menus in emacs/vscode for some commands
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.