Skip to content

Instantly share code, notes, and snippets.

#!/bin/sh
set -e
artifact="$1"
old="$2"
new="$3"
namespace="$(echo "$artifact" | cut -f 1 -d :)"
id="$(echo "$artifact" | cut -f 2 -d :)"
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) {
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:
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';
@tarao
tarao / Instance.scala
Last active February 10, 2020 11:29
Category-theoretic universal product representation
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]
ensimeScalacOptions ++= List("-Ymacro-expand:normal")
@tarao
tarao / uim.rb
Last active March 14, 2017 14:44
#!/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
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
// 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;