Anatoli-Petrosyants/TCA_showcase_shop

Language: Swift - Size: 111 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0

PSBP-Library/yoneda

The Yoneda lemma deals with functors to Set. Functional programming deals with functors from Set. Composing them results in endofunctors. It is challenging to formulate and prove a a pointfree Yoneda lemma for such endofunctors and to program everything (replacing sets by types).

Language: TeX - Size: 594 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0