@BoydStephenSmithJr@hachyderm.io
Post #2945920
2026-02-14 19:55 UTC
@pepper0@aus.social Reported on GitHub: https://github.com/idris-lang/Idris2/issues/3738
Replies (0)
No replies.
@BoydStephenSmithJr@hachyderm.io
2026-02-14 19:55 UTC
No replies.