Agda — 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
[ANN] GHCup 0.2.2.0 release :: https://wpnews.pro/news/ann-ghcup-0-2-2-0-release