takuto-h

#!/bin/sh

emacs -nw "$@"

takuto-h

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

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

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

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

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

-- TypeTheory.hs

module Main where

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

-- Types

takuto-h

# contvm.rb

=begin
instruction set:

push object
pushclosure closure
pop
defvar symbol
getvar symbol