glguy questions

glguy answers

• Showing (head . init ) = head in Agda
• What's the difference between makeLenses and makeFields?
• How to Use Haskell's Stack Build Tool to Export a Library to Be Consumed by C/C++?
• Export only getter or setter from a module
• GADT type argument not being used for typeclass resolution
• How to use lenses to look up a value in a map, increase it or set it to a default value
• How can I establish a bijection between a tree and its traversal?
• traversal tree with Lens and Zippers
• Is it possible to generate comments to functions in Template Haskell?
• How to do subdomain routing using Haskell