← Feed @arialdo@mastodon.online Post #659311 2026-03-08 08:37 UTC Love how #Idris REPL greets you Constructors are red / Types are blue / Your code always works / Because Idris loves you Replies (0) No replies.