Discussions

• 1 You must be logged in to vote

  💬

  Can we afford to not expose the constraint system from snarky?

  mimoo started Mar 3, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  RFC: Snarky(rs)

  mimoo started Dec 22, 2022 in General

  

  

  

  

  10
• 1 You must be logged in to vote

  💬

  Why do we have type 'f field in a bunch of places?

  mimoo started Dec 19, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  The different Types module

  mimoo started Dec 8, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  What is is_running?

  mimoo started Nov 19, 2022 in General

  

  

  19
• 2 You must be logged in to vote

  💬

  The monadic interface of snarky

  mimoo started Nov 19, 2022 in General

  

  

  1
• 2 You must be logged in to vote

  💬

  The Imperative API of snarky

  mimoo started Nov 19, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  dependency graph

  mimoo started Nov 19, 2022 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  Swapping out the monadic and the imperative interfaces

  mimoo started Nov 9, 2022 in General

  

  

  3