# Idris

> Entity coverage from Web Pulse
> Last updated: 2026-05-24T22:55:05.514803+00:00
> 2 articles mentioning **Idris**

- [Prompt for AI agent to act as a Lean mentor](https://wpnews.pro/news/prompt-for-ai-agent-to-act-as-a-lean-mentor) — 2026-05-22
- [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) — 2025-07-31