• Haskell Environment
• For Ubuntu 16.04
• Idris
• Linking/memory problems