kdxu

#!/bin/sh

format=$(cat << EOS
Merge    pray
feat     sparkles
fix      wrench
chore    tea
refactor hammer
docs     memo

kdxu

#!/usr/bin/env node
var optimist = require('optimist');
var fs = require('fs');
var path = require('path');
var blessed = require('blessed');

function run () {
  var frames = getFrames();
  var screen = blessed.screen();
  play(screen, frames);

kdxu

defmodule MyList do
  def len([]), do: 0
  def len([_head | tail]), do: 1 + len(tail)

  def square([]), do: []
  def square([head | tail]), do: [head*head | square(tail)]

  def map([], _func), do: []
  def map([head | tail], func), do: [func.(head) | map(tail, func)]

kdxu

SHELL=/bin/sh

ifndef SKETCH_DIRECTORY
SKETCH_DIRECTORY = ${CURDIR}
endif

ifndef OUTPUT_FOLDERNAME
OUTPUT_FOLDERNAME = output
endif

kdxu

alias ls='ls -F'
alias ll='ls -la'
alias la='ls -a'
alias rails=''
alias emacs="/usr/local/Cellar/emacs/24.4/bin/emacs"
alias ans='/Applications/Android\ Studio.app'
export EDITOR=/Applications/MacVim.app/Contents/MacOS/Vim
alias vim='env LANG=ja_JP.UTF-8 /Applications/MacVim.app/Contents/MacOS/Vim "$@"'
export PATH=$PATH:/usr/local/bin:~/Library/Haskell/bin
alias ochacaml='ledit ochacaml'

kdxu

alias ls='ls -F'
alias ll='ls -la'
alias la='ls -a'
alias rails=''
alias emacs="/usr/local/Cellar/emacs/24.4/bin/emacs"
export EDITOR=/Applications/MacVim.app/Contents/MacOS/Vim
alias vim='env LANG=ja_JP.UTF-8 /Applications/MacVim.app/Contents/MacOS/Vim "$@"'
export PATH=$PATH:/usr/local/bin:~/Library/Haskell/bin
alias ochacaml='ledit ochacaml'
export SCALA_HOME=/Users/kyoko/scala-2.10.3

kdxu

module mgu where

open import Data.Unit hiding (_≤_)
open import Data.Nat hiding (fold)
open import Data.Nat.Properties
open import Data.Fin hiding (_+_; _≤_; fold)
open import Data.Sum
open import Data.Product
open import Data.Maybe
open import Function using (_∘_)

kdxu

module PolyP where
open import Function
open import Level
open import Data.Nat 
-----------------------------------------
----- polytypic programming in agda -----

data List {a} (A : Set a) : Set a where
  []  : List A
  Cons : (x : A) (xs : List A) → List A

kdxu

module PolyP where
open import Function
open import Level
open import Data.Nat 
-----------------------------------------
----- polytypic programming in agda -----

data List {a} (A : Set a) : Set a where
  []  : List A
  Cons : (x : A) (xs : List A) → List A

kdxu

function poke(){
    var a = document.getElementsByTagName('a');
    for (var i=0;i<a.length;i++) { if (a[i].text == "Pokeを返す") a[i].click()}
}

setInterval(poke, 100);