2026-04-04 11:22 UTC
with very little ceremony, Idris' LLM policy has been merged https://github.com/idris-lang/Idris2/commit/f4bbebd34045b6a521a27d6eeba10973ea9e876e
Replies (2)
-
@Andrev@types.pl 2026-04-04 11:23
Please leave your clanker at home if you're contributing to the Idris compiler
-
@RosaCtrl@social.vivaldi.net 2026-04-04 11:25
@Andrev «with roots in human-driven understanding and experience, designed to improve the human experience of programming» ❤️