rubo77

#!/bin/sh
# Configure the following default variables according to your requirements
language="en-US" # e.g. "de" or "en-US"
if [ ! "$1" ]; then

	# default if no argument is set:
	version="95.0" # chose from http://download.cdn.mozilla.net/pub/mozilla.org/firefox/releases/
	application="firefox" # "thunderbird" or "firefox" but file extension, archive extraction, and binary
		
fi

aeris

#!/usr/bin/env ruby
require 'chunky_png'
require 'rqrcode_png'

CHUNK_SIZE=4096/6 # 5462 bits, QRCode 29 = 5608 bits
IMG_SIZE = 800
IMG_PER_LINE = 2

def chunk(string, size)
	string.scan /.{1,#{size}}/om

kik

Require Import ZArith.
Require Import List.
Open Scope Z_scope.

Set Implicit Arguments.
Unset Strict Implicit.

Inductive Robo : Set := Blue | Orange.
Inductive Order : Set := order : Robo -> Z -> Order.