Peter Amidon questions

Peter Amidon answers

• Strategies for constructing tree in parallel in Haskell
• What is reason not to use stack --nix when I using nix?
• Idris: proof that specific terms are impossible
• How do I create, and distinguish, global options using 'optparse-applicative'?
• Sorted list in idris (insertion sort)
• Informing Haskell that `(Reverse (Reverse xs)) ~ xs`
• In Hakyll, how can I generate a tags page?
• Liquid Haskell: "Cyclic type alias definition" error from an inlined recursive function
• Replacing self built Naturals with GHC type level literals