Karl Palmskog (Oct 12 2023 at 18:34): Karl Palmskog (Oct 12 2023 at 18:34):I just taught a course on purely functional programming from lambda-calculus up to dependent types based on Robert Harper's book. Maybe course material and other stuff could be of interest to someone here: https://kth-step.github.io/fp-course/
Karl Palmskog (Oct 12 2023 at 18:45):(I'll license the material explicitly under CC-BY and the code under MIT in the next week)
Last updated: Oct 13 2024 at 01:02 UTC