This file contains 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
0 info it worked if it ends with ok | |
1 verbose cli [ 'C:\\Program Files (x86)\\nodejs\\\\node.exe', | |
1 verbose cli 'C:\\Program Files (x86)\\nodejs\\node_modules\\npm\\bin\\npm-cli.js', | |
1 verbose cli 'install', | |
1 verbose cli 'edge-atom-shell' ] | |
2 info using npm@2.7.4 | |
3 info using node@v0.12.2 | |
4 verbose node symlink C:\Program Files (x86)\nodejs\\node.exe | |
5 silly cache add args [ 'edge-atom-shell', null ] | |
6 verbose cache add spec edge-atom-shell |
This file contains 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
universes u v | |
variables {α : Type u} | |
structure category := | |
(ob : Type u) | |
(hom : ob -> ob -> Type v) | |
(i(A : ob) : hom A A) | |
(comp : (Π {A B C : ob}, hom B C -> hom A B -> hom A C)) | |
(comp_assoc : ∀ A B C D : ob, ∀ f : hom A B, ∀ g : hom B C, ∀ h : hom C D, | |
comp (comp h g) f = comp h (comp g f)) |
This file contains 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
[ | |
{ | |
"key": "'", | |
"command": "dance.openMenu", | |
"args": { | |
"input": "mirror" | |
}, | |
"when": "editorTextFocus && dance.mode == 'normal'" | |
}, | |
] |