Hacker News new | ask | show | jobs
by exdsq 1811 days ago
Yeah, check out Type Driven Design with Idris or this presentation https://fsharpforfunandprofit.com/ddd/