takuto-h

# contvm.rb

=begin
instruction set:

push object
pushclosure closure
pop
defvar symbol
getvar symbol

takuto-h

-- TypeTheory.hs

module Main where

import Control.Applicative
import Data.Unique
import qualified Data.Set as Set

-- Types

takuto-h

let nil = fun f -> fun g -> f
;;
let cons = fun x -> fun xs -> fun f -> fun g -> g x (xs f g)
;;
let map = fun f -> fun lst ->
  lst
    nil
    (fun x -> fun xs -> cons (f x) xs)
;;
let sample = cons 1 (cons 2 (cons 3 nil))

takuto-h

if [ -d $HOME/bin ] ; then
    export PATH=$HOME/bin:$PATH
fi

if [ -f $HOME/.bashrc ] ; then
    . $HOME/.bashrc
fi

takuto-h

(setq make-backup-files nil)
(setq-default indent-tabs-mode nil)
(setq-default show-trailing-whitespace t)

(add-hook 'find-file-hooks
          '(lambda ()
             (setq mode-line-buffer-identification 'buffer-file-truename)))

(global-set-key "\C-m" 'newline-and-indent)
(global-set-key "\C-j" 'newline)

takuto-h

(setq *default-fileio-encoding* *encoding-utf8n*)
(setq *default-eol-code* *eol-lf*)

takuto-h

#!/bin/sh

emacs -nw "$@"

takuto-h

include "109.mayu"
 
keymap Global
key ~S-*半角/全角	= $GRAVE_ACCENT
key  S-*半角/全角	= $TILDE
key  A-半角/全角	= $ToggleIME
key ~S-*E0半角/全角	= $GRAVE_ACCENT
key  S-*E0半角/全角	= $TILDE
key  A-E0半角/全角	= $ToggleIME

takuto-h

#!/usr/bin/env perl
$latex            = 'platex -shell-escape -synctex=1';
$latex_silent     = 'platex -shell-escape -synctex=1 -interaction=batchmode';
$bibtex           = 'pbibtex';
$dvipdf           = 'dvipdfmx %O -o %D %S';
$makeindex        = 'mendex %O -o %D %S';
$max_repeat       = 5;
$pdf_mode         = 3; # generates pdf via dvipdfmx

# Prevent latexmk from removing PDF after typeset.

takuto-h

[core]
        editor = emacs -nw
[alias]
        co = checkout
        br = branch
        ci = commit
        st = status
[push]
        default = simple
[fetch]