EdAyers

[    
  {
    "key": "'",
    "command": "dance.openMenu",
    "args": {
        "input": "mirror"
    },
    "when": "editorTextFocus && dance.mode == 'normal'"
  },
]

EdAyers

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))

EdAyers

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 [email protected]
3 info using [email protected]
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