All decks Close
All decks 14

  • Building a web library using super hard Haskell

    Nov 01, 2020 797 0

  • Building a web library using super hard Haskell

    Jul 26, 2020 1,131 4

  • Idris for impractical Scala programmers

    Jun 28, 2019 1,065 0

  • Using monads to enforce programming style your Boss likes

    Feb 20, 2019 1,325 2

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

    Nov 05, 2018 1,037 0

  • Iterators Lightning Talk

    Sep 25, 2018 980 0

  • Idris for impractical Scala programmers

    Feb 03, 2018 2,472 2

  • kebs

    Jun 27, 2017 1,160 0

  • Path-dependent types

    Nov 16, 2016 943 0

  • freem

    Oct 09, 2016 966 0

  • Fun with Arrows@ScalaWAW

    Jun 07, 2016 948 0

  • tap2

    Unifikacja i programowanie logiczne

    Apr 25, 2016 921 0

  • Fun with Arrows@chambers

    Mar 03, 2016 902 0

  • Fun with Arrows

    Dec 17, 2015 959 0