Markus questions

Markus answers

• How to make SBT not reporting compilation warnings for generated code?
• Debugging expression evaluation
• How can I create a function that only accepts a subset of constructors of a type?
• Scala iteratee to write to a file
• Idris dependent records with interface constraint on Type Constructor parameter