This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
#################################################### | |
# HEY! set SWIFT_SOURCE_PATH or nothing will work. # | |
#################################################### | |
set -e | |
if [ -z "${SWIFTPM_CONFIGURATION}" ]; then | |
SWIFTPM_CONFIGURATION=lib/swift/pm/4 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
//----------------------------------------------------------------------------- | |
// Settings.swift | |
// SwiftInSwift | |
//----------------------------------------------------------------------------- | |
let appName = "SwiftInSwift" | |
let defBlockPrefix = "// DEF-{" | |
let defBlockSuffix = "// }-DEF" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Control.Monad | |
type Var = Integer | |
type Subst = [(Var, Term)] | |
type State = (Subst, Integer) | |
type Program = State -> KList State | |
data Term = Atom String | Pair Term Term | Var Var deriving Show | |
-- Apply a substitution to the top level of a term |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/** | |
* An implementation of microKanren (and probably most of miniKanren), with | |
* a few extras. Currently, it supports: | |
* | |
* - The essential core of microKanren: Unify, Fresh, Disjunction, Conjunction | |
* - Standard terms: Variables, Atoms, TermCons, EmptyTerm. | |
* - An implicit conversion from type T to Atom[T]. This makes writing programs | |
* much easier. | |
* - A decent reifier, which converts terms to strings. | |
* |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// | |
// NUIBezierPath.h | |
// NUIKit | |
// | |
// Created by Robert Widmann on 10/11/13. | |
// Copyright (c) 2013 CodaFi. All rights reserved. | |
// Released under the MIT license. | |
// | |
#import <Foundation/Foundation.h> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
# | |
# Copyright (c) 2012 Jonathan Penn (http://cocoamanifest.net) | |
# | |
# Permission is hereby granted, free of charge, to any person obtaining a copy | |
# of this software and associated documentation files (the "Software"), to deal | |
# in the Software without restriction, including without limitation the rights | |
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
# copies of the Software, and to permit persons to whom the Software is | |
# furnished to do so, subject to the following conditions: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env ruby | |
########################################################################### | |
# Script to be called as an Xcode 4 behaviour which will attempt to | |
# uncrustify all source files in the open project. | |
# | |
# (c) Copyright 2012 David Wagner. | |
# | |
# Complain/commend: http://noiseandheat.com/ | |
# | |
#*************************************************************************# |