Call for proposals: Reviewing, testing, and managing LLM generated Haskell
Haskell Community [Unofficial]
May 6, 2026
The recent fork of Agda (due to their non-anti-LLM stance) also seems relevant in such discussions: 1lab/mikan - Codeberg.org
Discussion in the ATmosphere