T[λx.λy.λz.z]
= T[λx.T[λy.λz.z]] (by 5)
= T[λx.T[(K T[λz.z])] (by 3)
= T[λx.T[(K I)] (by 4)
= T[λx.(T[K] T[I])] (by 2)
= T[λx.(K I)] (by 1)
= (S T[λx.K] T[λx.I]) (by 6)
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
alias gpom='git push origin master' | |
alias gpod='git push origin develop' | |
alias gpgm='git push github master' | |
alias glog='git log --oneline --graph' | |
alias gadd='git add' | |
alias gada='git add .' | |
alias grmc='git rm --cached' | |
alias gcam='git commit -a -m' | |
alias gcAm='git commit -a --amend -m' | |
alias gsts='git status' |
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
<!DOCTYPE html> | |
<html> | |
<head> | |
<meta charset="utf-8"> | |
<title>Linear regression</title> | |
<style media="screen"> | |
body { | |
margin: 0; | |
overflow: hidden; |
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
const chalk = require('chalk'); | |
const moment = require('moment'); | |
const request = require('request'); | |
moment.locale('ko'); | |
let options = { | |
url: 'http://hangang.dkserver.wo.tc', | |
json: true, timeout: 500 | |
}; |
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
경단 | |
과일 | |
귤 | |
꽈배기 | |
꿀 | |
나쵸 | |
녹차 | |
누네띠네 | |
단감 | |
닭강정 |
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
function* ant (seed = '1') { | |
while (true) yield (seed = seed.replace(/(\d)\1*/g, (m, s) => s + m.length)) | |
} | |
const seq = ant() | |
Array.from(Array(11), seq.next, seq).map(a => a.value) | |
// ["11", | |
// "12", | |
// "1121", |
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
function onOpen() { | |
SpreadsheetApp.getUi() | |
.createMenu('is-orphan') | |
.addItem('Run', 'run') | |
.addToUi() | |
} | |
function run () { | |
var myFiles = DriveApp.searchFiles('"me" in owners') | |
var orphanedFolder = DriveApp.getFoldersByName('Orphaned').next() |
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
#!/bin/bash | |
sudo apt update && sudo apt upgrade | |
sudo apt install -y git devscripts build-essential debhelper pkg-config libglib2.0-dev libtool intltool autoconf libaudit-dev libchewing3-dev libhangul-dev librime-dev libxkbcommon-dev libsunpinyin-dev libanthy-dev libqt4-dev qtbase5-dev qtbase5-private-dev libgtk-3-dev libgtk2.0-dev librsvg2-bin libappindicator3-dev | |
git clone https://github.com/cogniti/nimf.git | |
cd nimf && ./autogen.sh --with-im-config-data | |
sudo cp data/im-config/23_nimf.* /usr/share/im-config/data |
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
function* range (...args) { | |
if (args.length === 0) throw new Error('too few parameters') | |
if (args.length === 1) args.unshift(undefined) // start = 0, stop | |
const [start = 0, stop, step = 1] = args | |
for (let k = start; (stop - k) * step > 0; k += step) yield k | |
} | |
// [...range(3)] === [0, 1, 2] | |
// [...range(-5, -1)] === [-5, -4, -3, -2] |
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
selector = '.syntax--keyword.syntax--operator.syntax--bitwise.syntax--js' | |
atom.workspace.observeTextEditors (editor) -> | |
editor.onDidChange -> | |
pipes = document.querySelectorAll selector | |
Array.from(pipes).forEach (pipe) -> | |
return if not pipe or pipe.textContent != '|' | |
next = pipe.nextSibling |
OlderNewer