• Adjunctions in the wild: foldl

    5 users

    blog.jle.im

    • Dead-simple TCP/IP services using servant

      3 users

      blog.jle.im

      • Applicative Regular Expressions using the Free Alternative

        4 users

        blog.jle.im

        • Alchemical Groups: Advent of Code with Free Groups and Group Homomorphisms · in Code

          3 users

          blog.jle.im

          • A Purely Functional Typed Approach to Trainable Models (Part 1)

            7 users

            blog.jle.im

            • The Const Applicative and Monoids

              4 users

              blog.jle.im

              • Introduction to Singletons (Part 1)

                4 users

                blog.jle.im

                • Introducing the Hamilton library

                  5 users

                  blog.jle.im

                  • Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime

                    3 users

                    blog.jle.im

                    • Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1)

                      16 users

                      blog.jle.im

                      • mtl is Not a Monad Transformer Library

                        3 users

                        blog.jle.im

                        • Fixed-Length Vector Types in Haskell, 2015

                          5 users

                          blog.jle.im

                          • Auto: A Todo GUI application with Auto (on GHCJS, etc.)

                            3 users

                            blog.jle.im

                            • IO Monad Considered Harmful

                              5 users

                              blog.jle.im

                              • Streaming Huffman Compression in Haskell (Part 1) · in Code

                                3 users

                                blog.jle.im

                                • Practical Fun with Monads --- Introducing: MonadPlus!

                                  3 users

                                  blog.jle.im