with very little ceremony, Idris' LLM policy has been merged https://github.com/idris-lang/Idris2/commit/f4bbebd34045b6a521a27d6eeba10973ea9e876e
@Andrev@types.pl
·
Apr 04, 2026
29
2
11
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...