← Feed @arialdo@mastodon.online Post #511425 2026-02-28 08:58 UTC The #Idris programming language is divine. I'm in love. Replies (0) No replies.