Idris — Web Pulse coverage

Prompt for AI agent to act as a Lean mentor :: https://wpnews.pro/news/prompt-for-ai-agent-to-act-as-a-lean-mentor
The Big Oops in Type Systems: This Problem Extends to FP as Well :: https://wpnews.pro/news/the-big-oops-in-type-systems-this-problem-extends-to-fp-as-well