| $ brew install -v ipe | |
| ==> Downloading http://sourceforge.net/projects/ipe7/files/ipe/7.1.0/ipe-7.1.2-src.tar.gz | |
| Already downloaded: /Library/Caches/Homebrew/ipe-7.1.2.tar.gz | |
| /usr/bin/tar xf /Library/Caches/Homebrew/ipe-7.1.2.tar.gz | |
| ==> Patching | |
| /usr/bin/patch -f -p1 -i 000-homebrew.diff | |
| patching file src/config.mak | |
| ==> make IPEPREFIX=/usr/local/Cellar/ipe/7.1.2 install | |
| make IPEPREFIX=/usr/local/Cellar/ipe/7.1.2 install | |
| make --directory=ipelib all |
| #include <pthread.h> | |
| #include <stdlib.h> | |
| #include <unistd.h> | |
| #include <stdio.h> | |
| // Small channel library here. | |
| // It mimics unbuffered Go channels. | |
| typedef struct chan_int { | |
| int message; |
| {-# LANGUAGE ViewPatterns #-} | |
| module Main where | |
| import Control.Applicative | |
| import Control.Concurrent | |
| import System.Console.ANSI | |
| import System.IO | |
| -- import Test.HUnit -- Soon | |
| data Direction = Leftwards | Rightwards deriving (Show, Eq, Bounded, Enum) |
| import re | |
| import collections | |
| import itertools | |
| def munge_timestamp(timestamp): | |
| return timestamp | |
| def parse_srt(srt_string): | |
| """Return json version for storing in datastore""" |
| Test Plan: | |
| # Commands to run, or process to follow to test the changes | |
| # | |
| # Previous commit: | |
| # {PREV_COMMIT_MSG} | |
| # Review: {Dxxxx} | |
| # can be used instead of 'Test Plan:' to continue that commit's Differential |
| #!/bin/bash -xe | |
| template_dir=~/khan/template_captions | |
| tmp_dir=~/khan/tmp/captions | |
| webapp=~/khan/webapp | |
| locales="en tr" | |
| for l in $locales; do | |
| mkdir -p $tmp_dir/incoming/$l; | |
| cp $template_dir/incoming/$l/*.srt $tmp_dir/incoming/$l/ |
| use std::io; | |
| #[deriving(Show)] | |
| enum List { | |
| Cons(~str, ~List), | |
| Nil | |
| } | |
| fn print_list( lst : &List ) { |
| fn mutter( x : ~int ) -> ~int { | |
| let mut y = x; | |
| *y = 24; | |
| return y; | |
| } | |
| fn main() { | |
| let y = box 42; |
Steps for installing HoTT Coq and VIM on OSX
VIM: If you're using Vundle, get the plugin:
Bundle 'def-lkb/vimbufsync'
Bundle 'tbelaire/coquille'
Otherwise go to github.com/trefis/coquille and get it yourself. There is a dependancy on the vimbufsync plugin, so make sure to get that too.
I hereby claim:
To claim this, I am signing this object: