Skip to content

Generalization

  • Non-recursive function bindings
  • Non-recursive pattern bindings
  • Recursive bindings
  • Class constraints
Edited by Artin Ghasivand