Discussions

• 3 You must be logged in to vote

  💬

  Documenting on how to set up this project on Intellij IDEA?

  mio-19 started Aug 5, 2024 in General · Closed

  

  

  

  

  5
• 2 You must be logged in to vote

  💡

  Recent roadmap (2)

  feature

  ice1000 started Feb 13, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  🙏

  Any tutorial for beginners?

  question Further information is requested

  nobodxbodon asked Oct 6, 2021 in Q&A · Answered

  

  

  7
• 1 You must be logged in to vote

  💬

  Pattern matching is limited by overlapping patterns

  refparo started Oct 19, 2021 in General · Closed

  

  

  3
• 2 You must be logged in to vote

  💡

  Recent roadmap

  feature

  ice1000 started Mar 30, 2022 in Ideas · Closed

  

  

  2
• 2 You must be logged in to vote

  💡

  Next possible steps for the MetaAya project...

  lsp performance tactic metaprogramming

  lunalunaa started Apr 11, 2022 in Ideas

  

  

  1
• 2 You must be logged in to vote

  🙌

  Thank you for your work! I finally proved this simple sentence

  refparo started Sep 10, 2021 in Show and tell

  

  

  9
• 1 You must be logged in to vote

  🙏

  missing name-not-defined error?

  nobodxbodon asked Oct 19, 2021 in Q&A · Closed · Answered

  

  

  

  

  19
• 1 You must be logged in to vote

  🙏

  Naive question about unknown-var test case

  nobodxbodon asked Oct 9, 2021 in Q&A · Closed · Answered

  

  

  13
• 1 You must be logged in to vote

  🙏

  How to get this type checked?

  bug Something isn't working

  refparo asked Aug 29, 2021 in Q&A · Closed · Answered

  

  

  2