sjkillen

open nat

/--
 Decide whether two natural numbers are equal
 (already included in LEAN standard lib)
-/

lemma eq_iff_succ_eq {a b : ℕ} : a = b <-> a+1 = b+1 :=
begin
split,

sjkillen

#![feature(box_patterns)]

#[derive(Debug)]
#[derive(Clone)]
pub enum Syntax {
    Param(usize),
    Constant(i32),
    SymbolicValue,
    Add(Box<Syntax>, Box<Syntax>),
    Mul(Box<Syntax>, Box<Syntax>),

sjkillen

def refineddir(obj):
    return tuple(prop for prop in dir(obj) if not prop.startswith("_") and not hasattr(getattr(obj, prop), "__call__"))

class DeepComparator:
    def __init__(self, wrap):
        self.wrap = wrap
    def __eq__(self, other):
        if isinstance(self, DeepComparator):
            self = self.wrap
        if isinstance(other, DeepComparator):

sjkillen

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

enum discriminateFunc {
    NO_RETURN,
    INT_RETURN,
    INT_RETURN_TAKE_INT,
};

union funcUnion {

sjkillen

// i++
interface Inc<T> {
    1: Inc<this>
    t: T
}

// i--
interface Dec<T> {
    0: T extends Inc<infer T> ? T : never
}

sjkillen

/**
 * Manage a table of IP addresses
 * Supports the following operations:
 * adding an IP
 * removing an IP
 * checking if an IP is in the table
 * iterating all IP addresses inside the table
 */

/**

sjkillen

let rejectA;
const promA = new Promise((_, _reject) => rejectA = _reject);
let rejectB;
const promB = new Promise((_, _reject) => rejectB = _reject);

async function* foo() {
    try {
        await promA.finally(() => console.log("Promise A no longer pending"));
        await promB.finally(() => console.log("Promise B no longer pending"));
    } catch (e) {

sjkillen

const pure = Symbol("pure function");

const scanDone = Symbol();

function scanParam(func) {
    if (func.length !== 1) {
        throw "Only works with unary functions";
    }
    const shape = {};
    try {

sjkillen

/**
 * Bindable method for flattening iterables
 * @this {Iterable<T>}
 * @param {(item: T) => J | void} mapper 
 * @returns flattened version of iterable with elements mapped
 * if a mapper function was given
 */
export function *flattenAll(mapper = v => v) {
    for (const item of this) {

sjkillen

/*
 * Spencer Killen
 * CMPT 360
 * Assignment 3
 * Dec 5th 2016
 * Library used for applying a file lock after a condition is met
 */

#include <sys/inotify.h>
#include <aio.h>