Dominique Devriese questions

Dominique Devriese answers

• Why Haskell typeclasses in Agda are started with `Raw`?
• Using the value of a computed function for a proof in agda
• Dependent Types: How is the dependent pair type analogous to a disjoint union?
• Implicit Arguments and Type Families
• Lax monoidal functors with a different monoidal structure
• Arbitrary class constraints when implementing type classes in Haskell
• How to add a class constraint to a Functor instance declaration in Haskell?
• Fullscreen and xmonad
• Cabal fails to install Idris language on OSX Lion
• Defining PrimMonad instance for STT? (ST Transformer)