All decks Close
All decks 14

  • Building a web library using super hard Haskell

    Nov 01, 2020 917 0

  • Building a web library using super hard Haskell

    Jul 26, 2020 1,257 4

  • Idris for impractical Scala programmers

    Jun 28, 2019 1,169 0

  • Using monads to enforce programming style your Boss likes

    Feb 20, 2019 1,454 2

  • Obsługa błędów: EitherT, MonadError czy XD?

    Nov 05, 2018 1,149 0

  • Iterators Lightning Talk

    Sep 25, 2018 1,067 0

  • Idris for impractical Scala programmers

    Feb 03, 2018 2,687 2

  • kebs

    Jun 27, 2017 1,264 0

  • Path-dependent types

    Nov 16, 2016 1,030 0

  • freem

    Oct 09, 2016 1,060 0

  • Fun with Arrows@ScalaWAW

    Jun 07, 2016 1,019 0

  • tap2

    Unifikacja i programowanie logiczne

    Apr 25, 2016 1,001 0

  • Fun with Arrows@chambers

    Mar 03, 2016 1,004 0

  • Fun with Arrows

    Dec 17, 2015 1,046 0