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/sh | |
set -e | |
artifact="$1" | |
old="$2" | |
new="$3" | |
namespace="$(echo "$artifact" | cut -f 1 -d :)" | |
id="$(echo "$artifact" | cut -f 2 -d :)" |
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
var LambdaJS = require('./lambda'); | |
var PrettyPrinter = { | |
pp: function(exp) { | |
return LambdaJS.Util.promote(exp).pp(this); | |
}, | |
ppApp: function(app) { | |
return '(' + this.pp(app.fun) + ' ' + this.pp(app.arg) + ')'; | |
}, | |
ppAbs: function(abs) { |
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
Lintaro Ina: | |
Masahiko Sato: | |
Satoru Takasu: | |
Shokichi Iyanaga: | |
Teiji Takagi: | |
David Hilbert: | |
C. L. Ferdinand (Carl Louis) Lindemann: | |
C. Felix (Christian) Klein: | |
Julius Plücker: | |
Christian Ludwig Gerling: |
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
package Class::Extensible; | |
use strict; | |
use warnings; | |
use Class::Load qw(load_class); | |
use Class::Mix qw(mix_class); | |
use List::MoreUtils qw(uniq); | |
my $Stash = '_EXTENDED_WITH'; |
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
import product2.|*| | |
package object instance { | |
implicit val instanceProduct2: universal.Product2[|*|] = | |
new universal.Product2[|*|] { | |
override def p1[A, B](p: A |*| B): A = product2.π1(p) | |
override def p2[A, B](p: A |*| B): B = product2.π2(p) | |
override def mediate[A, B, C](implicit | |
wedge: universal.Wedge[C, A, B] |
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
ensimeScalacOptions ++= List("-Ymacro-expand:normal") |
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
#!/usr/bin/env ruby | |
require 'fiddle/import' | |
require 'shellwords' | |
Libuim = `/sbin/ldconfig -p`.split(/[\r\n]/).map do |line| | |
line.strip.split(/\s+/)[0] | |
end.find do |line| | |
line =~ /\Alibuim[.]so[.][0-9]+\z/ | |
end |
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
set noautofocus | |
let hintcharacters = "hjklgfdsayuioptrewq" | |
map ; : | |
map b :buffer<Space> | |
map J scrollPageDown | |
map K scrollPageUp | |
map <C-f> scrollFullPageDown | |
map <C-b> scrollFullPageUp | |
map d :execute gTx<CR> | |
map u lastClosedTab |
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
// Configuration | |
var WEBHOOK_URL = PropertiesService.getScriptProperties().getProperty('webhook_url'); | |
if (!WEBHOOK_URL) throw 'You should set "webhook_url" property from [File] > [Project properties] > [Script properties]'; | |
var SLACK_USERNAME = PropertiesService.getScriptProperties().getProperty('slack_username') || 'cronsheet'; | |
var SLACK_ICON_EMOJI = PropertiesService.getScriptProperties().getProperty('slack_icon_emoji') || ':clock3:'; | |
var SHEET_NAME = PropertiesService.getScriptProperties().getProperty('sheet_name'); | |
// ... END Configuration | |
var COLUMN_QUARTER = 1; | |
var COLUMN_DOW = 2; |