CodaFi

@compatability_alias UIColour UIColor 
@compatability_alias NSNotificationCentre NSNotificationCenter 
@compatability_alias NSDistributedNotificationCentre NSDistributedNotificationCenter 
@compatability_alias NSUserNotificationCentre NSUserNotificationCenter 

typedef NSWidthSizable NSWidthSizeable 
typedef NSHeightSizable NSHeightSizeable

CodaFi

uint64_t CFISizeOfFilesAtPaths(NSArray *inArray) {
  uint64_t accumulator = 0;
	NSString *fileString = nil;
	for (id file in inArray) {
		if ([file isKindOfClass:NSString.class]) {
			fileString = file;
		} else if ([file isKindOfClass:NSURL.class]) {
			fileString = [file path];
		}
		NSDictionary *fileAttributes = [NSFileManager.defaultManager attributesOfItemAtPath:fileString error:nil];

CodaFi

//
//  REBConditionals.h
//  Rebase
//
//  Created by Robert Widmann on 8/16/13.
//  Copyright (c) 2013 CodaFi. All rights reserved.
//

#ifndef Rebase_REBConditionals_h
#define Rebase_REBConditionals_h

CodaFi

//
//  NUIColor.h
//  NUIKit
//
//  Created by Robert Widmann on 9/21/13.
//  Copyright (c) 2013 CodaFi. All rights reserved.
//

#import <Foundation/Foundation.h>
#import <CoreGraphics/CoreGraphics.h>

CodaFi

/*
 * Copyright (c) 2013 CodaFi. All rights reserved.
 *
 * @APPLE_LICENSE_HEADER_START@
 *
 * This file contains Original Code and/or Modifications of Original Code
 * as defined in and that are subject to the Apple Public Source License
 * Version 2.0 (the 'License'). You may not use this file except in
 * compliance with the License. Please obtain a copy of the License at
 * http://www.opensource.apple.com/apsl/ and read it before using this

CodaFi

//
//  NUIBindingSeparator.h
//  NUIKit
//
//  Created by Robert Widmann on 8/31/13.
//  Copyright (c) 2013 CodaFi. All rights reserved.
//

#import <Foundation/Foundation.h>
#if __has_feature(objc_arc)

CodaFi

module Main where

import Control.Monad (forever)
import System.Exit (exitSuccess)
import Data.String
import Data.Char (isDigit)

data Stack a = Empty | Elem a (Stack a)

data OpCode = INT Int |

CodaFi

/**
 * Usage: 
 *
 * static OSSpinlock lock;
 *
 * @critical_section(lock, ^{
 *	//Synchronized Section  
 * });
 *
 */

CodaFi

% Introduce reflexive equality
refl(X, X).

% Introduce symmetrical equality
sym(X, Y) :- 
	refl(X, Y),
	refl(Y, X).

% Identity of addition by zero
add_zero(N) :- 

CodaFi

module Fin where

data Fin : ℕ → Set where
  fzero : {n : ℕ} → Fin (succ n)
  fsuc  : {n : ℕ} → Fin n → Fin (succ n)

data ⊥ : Set where

empty : Fin zero → ⊥
empty ()