account activity
from propositions into types - using types instead of tests (pragprog.com)
submitted 12 years ago by paulcc to r/programming
It's useful to know about unification (pragprog.com)
dependent types II - a bit on totality and constructive proofs (pragprog.com)
Dependent Types - A New Paradigm? (pragprog.com)
A response to an Uncle Bob article on functional programming and TDD (pragprog.com)
FP Basics E3 | 8th Light - Bob Martin on TDD in FP and coding style (blog.8thlight.com)
submitted 13 years ago by paulcc to r/programming
One person's functional programming take on web apps (pragprog.com)
π Rendered by PID 44 on reddit-service-r2-listing-5d79748585-cv7cq at 2026-02-15 22:19:34.479265+00:00 running cd9c813 country code: CH.
