Konstantine Rybnikov's Blog

Twitter ko_bx Github k-bx

Articles:

• Propositions as Types: Some Missing Links (2019-11-11)
• A Monoid Is a Category With Just One Object. So What's the Problem? (2019-06-03)
• Kyiv Elm Study Group Experience Report (2019-04-13)
• Struggling With My Drinker's Problem (2019-01-31)
• Validating Form Data via Applicative Functors (2019-01-06)
• Singleton, Fiber and Equivalence (2018-30-12)
• Kyiv Haskell Study Group Experience Report (2018-04-09)