teoria-delle-categorie Base concepts of CT instantiated into category Hask, following Bartosz Milewski lessons Examples are expressed as hspecs inside the Test.hs of each lesson subdir. You can run them with stack test