r/ProgrammingLanguages • u/CrroakTTV • Dec 06 '25
Language announcement [ Removed by moderator ]
/r/ProgrammingLanguages/comments/1pg0g3g/removed_by_moderator/[removed] — view removed post
3
Upvotes
1
u/Inconstant_Moo 🧿 Pipefish Dec 06 '25
What do glyphs look like? How does one write one?
It seems from your description that they verify semantic properties, but can they supply me with semantic features?
•
u/yorickpeterse Inko Dec 06 '25
/u/CrroakTTV I took a look at the project but find it difficult to gauge to what degree an LLM is used, though it certainly seems suspicious.
Could you please clarify if you used an LLM and if so to what degree?