Replies

• 

  bhaktibhaktishh@types.pl

  Nov 4, 2026, 1:05 PM

  now it’s on the One Guy That Maintains All Of Idris’s External Ecosystem to merge my much less sus PR

  💬 1🔄 0⭐ 1
• 

  gaytabasedysfun@treehouse.systems

  Nov 4, 2026, 12:43 PM

  @bhaktishh which one's that?

  💬 0🔄 0⭐ 0
• 

  Jan de Muijnck-Hughesjfdm@discuss.systems

  Nov 4, 2026, 3:49 PM

  @bhaktishh Idris' not Idris's ;-)

  💬 1🔄 0⭐ 0
• 

  bhaktibhaktishh@types.pl

  Nov 4, 2026, 5:00 PM

  @jfdm I think this is contested

  💬 0🔄 0⭐ 0
• 

  Conor Titania Mc Bridepigworker@types.pl

  Nov 4, 2026, 5:03 PM

  @bhaktishh Sure is.
  @jfdm

  💬 0🔄 0⭐ 0
• 

  Kevin Graafkevin@kbg.sh

  Nov 5, 2026, 12:55 AM

  @bhaktishh this year I will use Idris for a real project

  💬 0🔄 0⭐ 0