All decks Close
All decks 14

  • Building a web library using super hard Haskell

    Nov 01, 2020 880 0

  • Building a web library using super hard Haskell

    Jul 26, 2020 1,220 4

  • Idris for impractical Scala programmers

    Jun 28, 2019 1,131 0

  • Using monads to enforce programming style your Boss likes

    Feb 20, 2019 1,411 2

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

    Nov 05, 2018 1,122 0

  • Iterators Lightning Talk

    Sep 25, 2018 1,040 0

  • Idris for impractical Scala programmers

    Feb 03, 2018 2,628 2

  • kebs

    Jun 27, 2017 1,238 0

  • Path-dependent types

    Nov 16, 2016 1,007 0

  • freem

    Oct 09, 2016 1,034 0

  • Fun with Arrows@ScalaWAW

    Jun 07, 2016 1,000 0

  • tap2

    Unifikacja i programowanie logiczne

    Apr 25, 2016 984 0

  • Fun with Arrows@chambers

    Mar 03, 2016 982 0

  • Fun with Arrows

    Dec 17, 2015 1,022 0