Takafumi Hirata totem3

totem3 / gist:41dd35f71a3189b5c787

Last active August 29, 2015 14:14 — forked from kazu-yamamoto/gist:5882488

	{-# LANGUAGE GADTs #-}

	module Main where

	import Control.Monad
	import Control.Monad.RWS.Strict
	import Control.Monad.Trans.Error
	import Control.Monad.Operational.Simple
	import Prelude hiding (putChar, getChar)
	import qualified System.IO as IO

totem3 / gist:30bdb75e246e07941442

Created January 7, 2015 09:25

	!SLIDE


	# 7章最小高さ木の構築


	!SLIDE


	与えられた整数のリストが木の周縁となるような、葉にラベルがついた二分木のうち高さが最小のものを組み立てるという問題を考察する

totem3 / test

Created December 17, 2014 20:20

	!SLIDE
	# FOO

totem3 / le_n_0_eq.v

Created November 19, 2014 04:02

totem3 / t.v

Created November 17, 2014 11:17

	Goal forall (A : Prop), A -> A.
	intros.
	exact H.
	Qed.

	Require Import Arith.
	Theorem plus_comm: forall (n m : nat), (n + m) = m + n.
	intros.
	induction m.
	simpl.

totem3 / Cask

Created November 13, 2014 00:06

totem3 / apr.rb

Last active August 29, 2015 14:08

	require 'formula'

	class Apr < Formula
	url 'http://apache.cs.utah.edu/apr/apr-1.5.1.tar.gz'
	homepage 'http://apr.apache.org/'
	sha1 '9caa83e3f50f3abc9fab7c4a3f2739a12b14c3a3'

	def install
	system "./configure", "--prefix=#{prefix}"
	system "make"

totem3 / apr-util.rb

Last active August 29, 2015 14:08

	require 'formula'

	class AprUtil < Formula
	url 'http://apache.cs.utah.edu//apr/apr-util-1.5.4.tar.gz'
	homepage ''
	sha1 '72cc3ac693b52fb831063d5c0de18723bc8e0095'

	depends_on 'apr'

	def install

totem3 / gist:669b5abc73901b9dae9e

Created October 8, 2014 23:59

	<IfModule mod_proxy.c>
	ProxyRequests Off
	ProxyPass / http://localhost:8000/
	ProxyPassReverse / http://localhost:8000/
	</IfModule>

totem3 / hello.c

Last active August 29, 2015 14:07

	#include <stdio.h>
	int main(int argc, char const* argv[])
	{
	printf("Hello World!\n");
	return 0;
	}