3 ms·

I'm unfamiliar with one of the language logos in the meme graph at the bottom: what's the red swooshy thing beside zig?

• deleted 5y ago
  [deleted]
• andrenth 5y ago
  It's the Idris logo https://www.idris-lang.org/ https://www.idris-lang.org/
• deleted 5y ago
  [deleted]
• deleted 5y ago
  [deleted]