PostGlad to see that there's one pure functional language that has an explicit Anti-LLM Policy:

4 September 2026

📚

📚 Cs/books/uwu

Link
click to show

Glad to see that there's one pure functional language that has an explicit Anti-LLM Policy: https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md

170 · 14:52

Nearby in the feed

this message

📚

📚 Cs/books/uwu@vimvimvimvimvimvimvimvimvim · channel · Hobby

647subscribers101average post reach

An open public feed from the search index ChatCrawler — “Google for public Telegram”; refreshed as the venue is crawled. Times are UTC.

Public content only, official Telegram API. About · FAQ · Index limits · Remove a page · Catalog · Search · How we count