Haskell-ITA / teoria-delle-categorie

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About


Languages

Language:Haskell 100.0%