#theory #abstraction #type #guide #concepts #matematics #cat-egory

garfield

Garfield provides cat-egory theory abstractions

1 unstable release

0.1.0 Oct 30, 2022

#20 in #guide

MIT license

10KB
230 lines

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"

lib.rs:

Garfield

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

No runtime deps