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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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