Discussions

• 1 You must be logged in to vote

  💡

  Concurrency with process for non-thread-safe scenarios

  Feature/Enhancement Request This issue is made to request a feature or an enhancement to an existing one.

  andreabravetti started Jun 28, 2019 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  DRAKON support and/or concept integration

  Feature/Enhancement Request This issue is made to request a feature or an enhancement to an existing one.

  ylluminate started Jun 20, 2019 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Numeric ranges

  Feature/Enhancement Request This issue is made to request a feature or an enhancement to an existing one.

  PavelVozenilek started May 19, 2019 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💡

  Feature request: dependent type , proof assistant

  Feature/Enhancement Request This issue is made to request a feature or an enhancement to an existing one.

  zaoqi started Apr 28, 2019 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💡

  Self-hosted linker

  Feature/Enhancement Request This issue is made to request a feature or an enhancement to an existing one.

  medvednikov started Apr 10, 2019 in Ideas

  

  

  0
• 💬

  This language is not as advertised

  gingerBill started Mar 20, 2019 in General

  

  

  

  

  62