anoma/juvix-stdlib

Issues

• Fix `inline` and `specialize` annotations

  #121 opened 3 months ago by lukaszcz
  0

• Add Foldable trait (name to be determined)

  #110 opened 4 months ago by paulcadman
  1

• Every function should have a counterpart that does not require Unicode

  #59 opened 4 months ago by jonaprieto
  5

• Use `Pair` instead of the unicode `×`

  #101 opened 5 months ago by lukaszcz
  1

• Extend the standard library with maps and other common data structures

  #88 opened 5 months ago by lukaszcz
  1

• Rename `Field` to `Felt`

  #94 opened 5 months ago by lukaszcz
  0

• Add full Cairo pedersen hash

  #100 opened 5 months ago by CarloModicaPortfolio
  1

• Publish releases with changelog and version

  #83 opened a year ago by paulcadman
  1

• `Partial` trait

  #78 opened a year ago by lukaszcz
  0

• Reimplement standard library traits using the new trait framework

  #79 opened a year ago by lukaszcz
  0

• Audit of the standard library with a view toward efficiency

  #13 opened a year ago by lukaszcz
  1

• PR #66 broke IO for integers

  #68 opened a year ago by lukaszcz
  0

• Follow the same CI practice as in anoma/juvix CI

  #42 opened a year ago by jonaprieto
  0

• How to define gcd using the stdlib?

  #12 opened 2 years ago by simonmasson
  0

• Update the standard library in anoma/juvix automatically

  #7 opened 2 years ago by jonaprieto
  1

• Change the cons symbol by its Ascii version

  #20 opened 2 years ago by jonaprieto
  1

• Use no Unicode symbol by default

  #11 opened 2 years ago by jonaprieto
  1