My slides and compilation of resources.
Haskell
159
40 commits
updated Aug 31, 2024
39 commits
1 commits
haskelllive/haskelllive
Source code of the Haskell Live episodes.
129
fpco/applied-haskell
80
effectfully/sketches
A Haskell blog
155
Gabriella439/slides
Slides from talks that I give
298
JordanMartinez/purescript-cookbook
An unofficial Cookbook for PureScript
206
nponeccop/haskell-exercises
41
isovector/thinking-with-types
π source material for Thinking with Types
497
jespercockx/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
135
100.0%
