fp-core.rs
fp-core.rs copied to clipboard
Yoneda Lemma