wadler-monadic-elegance

Features and purpose

Write functional code in the style of Philip Wadler, type theorist and monad evangelist. Emphasizes monadic composition, type-driven design, and the deep connection between logic and computation. Use when designing composable abstractions or understanding categorical patterns.

Quick start

Follow the repository instructions for this skill and your agent. Review the files and dependencies before adding it to your workflow.