ekmett/kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
HaskellNOASSERTION
Stargazers
- 3nochIndiana
- AHartNtknHeliax
- ajnsitIndia
- akiomikJapan
- angusshireUC Berkeley
- cameronraysmithHarvard Medical School
- dmjioAustin, TX
- domdereIrreverent Pixel Feats
- ekmettPositron AI
- fan-n-akiyama
- felko
- fmindFmind.dev
- hussein-aitlahcenBlock 6.282e+10
- iblechUniversity of Padova
- jb55Vancouver
- jonschoning@3CloudSolutions
- juanbono@lambdaclass
- kdxu@herp-inc
- lotz84FOLIO
- m2ym
- markfarrellCanada
- mrkkrp@tweag
- nickoralias
- notaeSagamihara, Japan
- objectxMeguro-ku, Tokyo
- orakle
- RyanGlScottGalois, Inc.
- sheganinansData Scientist & Language Architect
- Sophia-GoldNew York, NY
- steshaw@tweag
- stites@nuprl
- taiki45Finatext Holdings Ltd.
- themattchan@awakesecurity
- tkersey@thisisartium
- xuwei-kTokyo
- yananaTokyo, Japan