Stream: Teaching [with] Coq

Topic: Functional programming up to Coq


view this post on Zulip 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/

view this post on Zulip 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