Potato Hatsue berberman
berberman
/ agda-mode.json
Created
July 5, 2020 02:30
Agda mode input method for vscode plugin `generic input method`.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [ | |
| { | |
| "body": "≠", | |
| "description": "≠", | |
| "label": "=n" | |
| }, | |
| { | |
| "body": "∼", | |
| "description": "∼", | |
| "label": "~" |
NewerOlder