Garfield

Your guide to Category Theory concepts in Rust using Generic Associated Types.

garfield

Your guide to functional programming using CATegory theory concepts in Rust.

Dev Enviornment

This uses nix, nixpkgs, and mozilla-rust-overlay to manage Rust and it's dependencies. Though, this will run on a nightly rust that has the generic associated traits feature enabled.

Test

$ nix-shell --run "cargo test"