Discussions

• 1 You must be logged in to vote

  🙏

  what does noDefaultName do?

  scarf005 asked Mar 7, 2025 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Putting @main in a mixin

  kincsescsaba asked Aug 7, 2024 in Q&A · Unanswered

  

  

  5
• 1 You must be logged in to vote

  📣

  Welcome to mainargs Discussions!

  lihaoyi announced Sep 17, 2023 in Announcements

  

  

  0