Pteromys questions

• In OCaml, is it possible to define Map in terms of Set?
• How to curry a function w.r.t. its optional arguments in OCaml
• Why are register-based virtual machines better than stack-based ones?
• Isabelle2016 and Proof General
• Unary minus and floating point number in OCaml
• Parallel arbitrary-precision arithmetic library [closed]
• How does the Dalvik VM save and restore its registers between method calls?
• OCaml's GADT and many type variables
• When should extensible variant types be used in OCaml?
• `or` and `&` in OCaml

Pteromys answers