Karl questions

• Agda: How to infer proof of _ (or, how to implement a binary search tree)
• How can I preview a regular expression in search/replace?
• Emacs: 'Find file' without changing working directory
• Different behavior of cabal repl for library vs. executable
• Agda's standard library Data.AVL.Sets containing Data.String as values
• SDL2, Mac OS X, and OpenGL: How to avoid including both gl.h and gl3.h?
• How to disable Emacs messages like "You can run the command X with Y"
• Profile only a single function (or cost center) with GHC
• Haskell version of Idris !-notation (bang notation)
• Emacs align-regexp on = but not ==

Karl answers