gregory-nisbet

#!/bin/bash

usage() {
    printf '%s\n' "Usage: gitsplit [-m message] paths..."
}

while getopts "hm:" opt; do
    case "$opt" in
        m)
            message="$OPTARG" ;;

gregory-nisbet

#! /usr/bin/env perl
# (c) Gregory Nisbet 2019 ISC license.

use strict;
use warnings;

use Test::More tests => 3;

# representation of a lambda calculus term
# \ is a visual pun on the lambda syntax in Haskell

gregory-nisbet

# three-valued logic without disjunction introduction

import itertools as it

F = "F"
T = "T"
U = "U"

domain = (F, U, T)