zilch-lang/zilch

Issues

• A few notes from the Isabelle rewrite

  #22 opened a year ago by Mesabloo
  1

• Non-exhaustive pattern matching

  #21 opened 2 years ago by Mesabloo
  1

• Zilch v1

  #20 opened 2 years ago by Mesabloo
  0

• Type classes and named implementations

  #9 opened 3 years ago by Mesabloo
  1

• Anonymous functions

  #17 opened 2 years ago by Mesabloo
  0

• Basic data types and values for Zilch

  #16 opened 2 years ago by Mesabloo
  0

• Modules

  #18 opened 2 years ago by Mesabloo
  0

• Towards Zilch v1

  #15 opened 2 years ago by Mesabloo
  0

• FFI targetting C

  #19 opened 3 years ago by Mesabloo
  0

• How Zilch should look like

  #1 opened 3 years ago by Mesabloo
  2

• Introduce reference capabilities in Zilch

  #6 opened 3 years ago by Mesabloo
  0

• Implement extensible records and polyvariants through row polymorphism

  #8 opened 3 years ago by Mesabloo
  0

• Add algebraic effects to Zilch

  #7 opened 3 years ago by Mesabloo
  0

• Setup a CI using Github Actions

  #3 opened 3 years ago by Mesabloo
  0