Skip to content

Instantly share code, notes, and snippets.

View luqmana's full-sized avatar

Luqman Aden luqmana

View GitHub Profile
@agrif
agrif / church.rs
Last active December 31, 2015 05:09
#[feature(macro_rules)];
use std::fmt;
use std::ops;
///////////////////////////////////////
////////// Basic Definitions //////////
///////////////////////////////////////
// Zero numeral, and a Successor operator