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)