jarmitage

:{
let bwAddress   = "127.0.0.1"
    bwPort      = 8000
    bwLatency   = 0.02
    bwPreamble  = []
    bwTimestamp = BundleStamp
:}

-- TEMPO
:{ 

YellPika

#include <stdio.h>
#include <stdlib.h>

char *tmp;
#define mkString(...) (sprintf(tmp = malloc(snprintf(NULL, 0, __VA_ARGS__) + 1), __VA_ARGS__), tmp)

int main(int argc, char** argv) {
    char *binDir;
    char *exePath;
    char *preArgv[4];

copumpkin

{-# OPTIONS --type-in-type --without-K #-}
module Russell where

open import Data.Empty
open import Data.Product
open import Relation.Nullary hiding (yes; no)
open import Relation.Binary.PropositionalEquality

-- Based on Robert Dockins's Coq reorganization of Chad E Brown's proof of Russell's paradox

olivierlacan

This re-styles your sublime text 2 sidebar to be darker, so it doesn't blind you when using a dark theme.

Save the Default.sublime-theme file into packages/Theme - Default, make a backup of your original if you want to be able to go back easily.