kne questions

kne answers

• "Variable ... must occur on both sides of this | pattern"
• Anonymous recursive functions in OCaml
• Can compare return anything else than -1, 0 and 1?
• Polymorphic variant subtype implementation does not match signature