{"entity": "Idris", "url": "https://wpnews.pro/entity/Idris", "count": 2, "articles": [{"slug": "prompt-for-ai-agent-to-act-as-a-lean-mentor", "title": "Prompt for AI agent to act as a Lean mentor", "url": "https://wpnews.pro/news/prompt-for-ai-agent-to-act-as-a-lean-mentor", "published_at": "2026-05-22 12:14:41+00:00"}, {"slug": "the-big-oops-in-type-systems-this-problem-extends-to-fp-as-well", "title": "The Big Oops in Type Systems: This Problem Extends to FP as Well", "url": "https://wpnews.pro/news/the-big-oops-in-type-systems-this-problem-extends-to-fp-as-well", "published_at": "2025-07-31 12:59:00+00:00"}]}