Commit History

Author SHA1 Message Date
  Simon Krajewski fe0d3e34ab adjust test 11 months ago
  Simon Krajewski 52bb47510e [typer] clean up with_type in operators.ml 1 year ago