fangel

# The following variables determine which directories to look for input fonts,
# and which directory to place the output fonts in.
INDIR       = input
INPUT_EXT   = woff
OUTDIR      = output
SUBSET_FILE = subset.txt
SUBSET_FLAGS = --layout-features='' --obfuscate-names --glyphs="space"

ZOPFLI_ITERATIONS = 15
ifneq ($(shell echo $$ITERATIONS),)

fangel

var accessor = {
  consumerKey: 'your consumer token key,
  consumerSecret: 'your consumer token secret',
  token: 'your access/request token key',
  tokenSecret: 'your access/request token secret' 
};

var message = {
  action: 'http://yoururl.com/endpoint',
  method: 'GET',

fangel

# The following variables determine which directories to look for input fonts,
# and which directory to place the output fonts in.
INDIR       = input
OUTDIR      = output
SUBSET_FILE = subset.txt

ZOPFLI_ITERATIONS = 15
ifneq ($(shell echo $$ITERATIONS),)
    ZOPFLI_ITERATIONS = $(shell echo $$ITERATIONS)
endif

fangel

--
-- Mini project 3 by Morten Fangel Jensen (mfan) & Christian Harrington (cnha)
--

module MiniProject where

open import Prelude
open Nats
open LessThan 

fangel

diff --git a/kernel/reduction.ml b/kernel/reduction.ml
index 6c52e15..486fb11 100644
--- a/kernel/reduction.ml
+++ b/kernel/reduction.ml
@@ -197,6 +197,7 @@ let sort_cmp pb s0 s1 cuniv =
     | (_, _) -> raise NotConvertible
 
 
+let sort_cmp pb s0 s1 cuniv = cuniv
 let conv_sort env s0 s1 = sort_cmp CONV s0 s1 empty_constraint

fangel

<?php


/**
 * Implements hook_views_plugins().
 */
function whitepaper_views_plugins() {
  return array(
    'module' => 'whitepaper',
    'access' => array(

fangel

set :stages, %w(production staging qa)
set :default_stage, "qa"
require 'capistrano/ext/multistage'

set :application, "version2"
set :user, "___DEPLOY_USER___"
set :group, "users"

set :scm, :git
set :repository, "git@github.com:___GITHUB_USER___/#{application}.git"

fangel

#!/bin/sh

# Then try and figure out which gateways to use
DEFAULT_GATEWAY=`netstat -rn | grep default | grep -v utun | head -n1 | awk '{print $2}'`
VPN_GATEWAY=`netstat -rn | grep utun | grep -v default | head -n1 | awk '{print $1}'`

if [ -z "$VPN_GATEWAY" ]; then
        echo "It appears you arent on VPN. FYI, your gateway is $DEFAULT_GATEWAY."
        exit -1
else

fangel

<?php
namespace sqlparser\utils;

function perform_select( $sql, $tabel, $bindings = false) {
	$tree = \sqlparser\parse($sql);
	if( get_class($tree) != 'sqlparser\tree\Select') throw new \sqlparser\Exception('Cannont perform non-selects with perform_select');

	if( $bindings )	list($tree,,) = \sqlparser\bind_values($tree, $bindings);

	return array_map( function($row) use ($tree) {

fangel

<?php
 
/**
 * A General purpose client for OAuth APIs
 *
 * @requires OAuth-php (http://oauth.googlecode.com/svn/code/php/) *
 * @copyright OAuth.net (C) 2009
 */
 
/**