elliott-beach

$ProgressPreference = 'SilentlyContinue'
[Net.ServicePointManager]::SecurityProtocol = [Net.SecurityProtocolType]::Tls12
Invoke-WebRequest "https://update.code.visualstudio.com/latest/win32-x64-user/stable" -OutFile $env:Temp/codesetup.exe;
Invoke-Expression "$env:Temp/codesetup.exe /VERYSILENT /mergetasks=!runcode";

elliott-beach

  private function ShowPopup(message:String)
  {
      const notification = new System.Windows.Forms.NotifyIcon();
      notification.Visible = true;
      var icon = System.Drawing.SystemIcons.Information;
      notification.Icon = icon;
      notification.BalloonTipText = message;

      const durationDisplayedInSeconds = 4;

elliott-beach

ERROR: (no-implicit-dependencies) src/client/banner.ts[4, 24]: Module 'vscode' is not listed as dependency in package.json
ERROR: (no-implicit-dependencies) src/client/extension.ts[10, 25]: Module 'vscode' is not listed as dependency in package.json
ERROR: (no-implicit-dependencies) src/client/extension.ts[11, 60]: Module 'vscode' is not listed as dependency in package.json
ERROR: (no-duplicate-imports) src/client/extension.ts[11, 1]: Multiple imports from 'vscode' can be combined into one.
ERROR: (no-duplicate-imports) src/client/extension.ts[14, 1]: Multiple imports from './common/configSettings' can be combined into one.
ERROR: (no-unnecessary-type-assertion) src/client/extension.ts[131, 47]: This assertion is unnecessary since it does not change the type of the expression.
ERROR: (no-implicit-dependencies) src/client/sortImports.ts[2, 25]: Module 'vscode' is not listed as dependency in package.json
ERROR: (no-unnecessary-type-assertion) src/client/sortImports.ts[36, 29]: This assertion is unnecessary sinc

elliott-beach

ERROR: (no-implicit-dependencies) src/client/banner.ts[4, 24]: Module 'vscode' is not listed as dependency in package.json
ERROR: (no-implicit-dependencies) src/client/extension.ts[10, 25]: Module 'vscode' is not listed as dependency in package.json
ERROR: (no-implicit-dependencies) src/client/extension.ts[11, 60]: Module 'vscode' is not listed as dependency in package.json
ERROR: (no-duplicate-imports) src/client/extension.ts[11, 1]: Multiple imports from 'vscode' can be combined into one.
ERROR: (no-duplicate-imports) src/client/extension.ts[14, 1]: Multiple imports from './common/configSettings' can be combined into one.
ERROR: (no-unnecessary-type-assertion) src/client/extension.ts[131, 47]: This assertion is unnecessary since it does not change the type of the expression.
ERROR: (no-implicit-dependencies) src/client/sortImports.ts[2, 25]: Module 'vscode' is not listed as dependency in package.json
ERROR: (no-unnecessary-type-assertion) src/client/sortImports.ts[36, 29]: This assertion is unnecessary sinc

elliott-beach

#!/bin/python3

import sys

def left(x):
    return 2*x + 1

def right(x):
    return 2*x + 2

elliott-beach

from typing import Any, Dict, Optional, Sequence, Tuple

class BaseClass(object):
    def __init__(self, foo: str, *args: Any, **kwargs: Any) -> None:
        self.foo = foo
        super().__init__(*args, **kwargs)

class Mixin(object):
    def __init__(self, bar: str, baz: Optional[str]=None, *args: Any, **kwargs: Any) -> None:
        self.bar = bar

elliott-beach

⋊> ~/m/p/project3 on master ⨯ gs                                                                                                                                                                  20:54:28
## master...origin/master
 M Kernel.cc
 M Kernel.h
?? .vscode/
?? cmake-build-debug/
?? filesys.dat
?? fsck.cc
?? ln
⋊> ~/m/p/project3 on master ⨯ git sync                                                                                                                                                            20:55:06

elliott-beach

# Ping [email protected] for questions about using this.

from glob import glob
import os
import re
import sys

def eprint(*args, **kwargs):
    print(*args, file=sys.stderr, **kwargs)

elliott-beach

import logic

# Write problem 3 into a logic base.
prob3 = logic.PropKB()
A, B, C, D, E = logic.expr('A, B, C, D, E')
prob3.tell(A)
prob3.tell(~A | C)
prob3.tell(C | ~D)
prob3.tell(D | C)
prob3.tell(~B | ~D | E)

elliott-beach

import logic

# Write problem 3 into a logic base.
prob3 = logic.PropKB()
A, B, C, D, E = logic.expr('A, B, C, D, E')
prob3.tell(A)
prob3.tell(~A | C)
prob3.tell(C | ~D)
prob3.tell(D | C)
prob3.tell(~B | ~D | E)