thosakwe

" Plugins
call plug#begin('~/.local/share/nvim/plugged')
Plug 'tpope/vim-sensible'
Plug 'scrooloose/nerdtree', { 'on': 'NERDTreeToggle' }
Plug 'itchyny/lightline.vim'
Plug 'junegunn/fzf', { 'dir': '~/.fzf', 'do': './install --all' }
Plug 'junegunn/fzf.vim'
Plug 'SirVer/ultisnips'
Plug 'honza/vim-snippets'
Plug 'vim-syntastic/syntastic'

thosakwe

let arr = rand float[2, 3];
let arr2 = arr + 2
print arr2

thosakwe

import {Scene} from 'phaser';

export default class extends Scene {
  private sounds: Phaser.Sound.BaseSound[] = [];

  create() {
    this.sounds.push(this.sound.add('song_1', '<url>', etc...));
    this.sounds.push(this.sound.add('song_2', '<url>', etc...));
    this.sounds.push(this.sound.add('song_3', '<url>', etc...));
    this.sounds.push(this.sound.add('song_4', '<url>', etc...));

thosakwe

// Glob up C++ sources
var srcs = combine([
  glob("src/*{.h,.cpp}")
])

// Exclude some sources
srcs = exclude(srcs, [glob("test/**")])

// Grab all the object files, creates multiple targets
var objects = compile_cpp(srcs).outputs

thosakwe

property transitive {
  let r(a) : Relation on a.
  let x, y, z : in r.
  assume (x, y) in r.
  assume (y, z) in r.
  declare (x, z) in r.
}

thosakwe

// Simultaneously fetch three pages
fn main(url) {
  // Asynchronously visit Github, and find all repos...
  // Do this in the background.
  //
  // Returns a Task.
  let myTask = fork {
    let rq = fetch(url, {accept: 'text/html'})
    let dom = response.dom()
    let links = dom.querySelectorAll('a.repo-link')

thosakwe

val Ascii = (
  A: 0x12,
  // ...
  z: 0x13
)

type Number = Uint8 | Uint16 // Etc.

fn (Number n) toString() : String {
  var chars = Array(Uint16).new()

thosakwe

from users where {distinct username} select { username }

thosakwe

class Snake {
  var name: String
  
  get title: String {
    return '%name the Legendary Snake'
  }
  
  set age (value: Num) {
    
  }

thosakwe

import file

def main |argc, argv|
  if (>= (argc 2))
    argv
    | first
    | file.read
    | stdout
  else
    stdin | stdout