Tag - #haskell

Some Thoughts on Numeric Classes 2021-02-28

Programming Problem: Run-Length Encoding 2021-02-05

Making an IO 2021-01-10

(Basic) Universal Properties in Haskell 2020-12-31

(Haskell in Haskell) 3. Parsing 2020-12-28

(Haskell in Haskell) 2. Lexing 2020-12-10

(Un)fold as (Co)algebra 2020-12-07

(Haskell in Haskell) 1. Setup 2020-11-23

(Haskell in Haskell) 0. Introduction 2020-11-01

Lexer Combinators 2020-10-18

Recursive Types as Initial Algebras 2020-09-09

Encoding the Naturals 2020-08-30