fusiongyro

:- op(100,xf ,holds).
:- op(150,xfy, .).
:- op(200,xfx, if).
:- op(220,xfy,and_).
:- op(300,xfx,can_verify).
:- op(300,xfx,sees).
:- op(300,xfx,is_deducible_from).
:- op(300, fx,it_is_deducible_that).
:- op(300,xf ,is_false).
:- op(320,xfy,and).

fusiongyro

#include <ctype.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdio.h>
#include <string.h>
#include <time.h>
#include <unistd.h>

/**

fusiongyro

Keybase proof

I hereby claim:

• I am fusiongyro on github.
• I am fusiongyro (https://keybase.io/fusiongyro) on keybase.
• I have a public key ASDfRERHtJk_Q3UYIZog_XzjsOMuwgewBuhp2h9Wk1Ojggo

To claim this, I am signing this object:

fusiongyro

module Main where

-- A simple directory summing thing for Haskell.
-- by Daniel Lyons <fusion@storytotell.org>
-- BSD licensed.

import Control.Applicative

import Data.Either
import Data.Foldable