keystroke '\\': 'agda-mode:input-symbol' does not work for some user (#10), another keystroke 'alt-/' will be supported
keystroke '\\': 'agda-mode:input-symbol' does not work for some user (#10), another keystroke 'alt-/' will be supported

banacorn/agda-mode,banacorn/agda-mode,banacorn/agda-mode