bachelor-group-66-systemf/churf

Issues

• Inference on case fails on literal

  #14 opened 2 years ago by sebastianselander
  0

• Recursive lets

  #16 opened 2 years ago by sebastianselander
  0

• Implement some sugar

  #15 opened 2 years ago by sebastianselander
  0

• Create an eta-expander module

  #13 opened 2 years ago by fredins
  0