Discussions

• 2 You must be logged in to vote

  💬

  Ideas for distributing emacs juvix-mode

  mariari started Jul 1, 2022 in General

  

  

  

  

  2
• 1 You must be logged in to vote

  💡

  Juvix CLI Needs a REPL

  enhancement New feature or request

  alhassy started Aug 27, 2022 in Ideas · Closed

  

  

  

  

  2
• 1 You must be logged in to vote

  💡

  On Inference and mutually recursive values.

  mariari started Jul 8, 2022 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💬

  Allow using qualified symbols from the current module

  scoping enhancement New feature or request frozen

  jonaprieto started Jul 11, 2022 in General

  

  

  2
• 2 You must be logged in to vote

  💬

  Tail recursion works (sometimes at least) only because we're lucky

  minic

  lukaszcz started Jul 6, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💡

  Compile block design questions and links

  mariari started Jun 30, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💬

  Tree traversals with lenses

  discussion

  janmasrovira started Jun 13, 2022 in General

  

  

  1
• 1 You must be logged in to vote

  💡

  Build/library system

  library-management

  jonaprieto started Jun 29, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Consider using safe-coloured-text

  enhancement New feature or request discussion

  janmasrovira started Jun 29, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Inductive Constructors prevent use of certain variable names

  discussion

  mariari started Jun 24, 2022 in Ideas

  

  

  4