Alex questions

• Is there a specification for Emacs?
• Inductive predicate with type parameters in Isabelle
• Non-arrow navigation of auto-complete menu in Emacs?
• How to make library installed from OPAM available to OCaml?
• Does the F# library has a standard function for `argMax`?
• Difference between multiple values and plain tuples in Racket?
• Use Agda's input method in other emacs mode?
• What does GADT offer that cannot be done with OOP and generics?
• Difference between type parameters and indices?

Alex answers