For contributors

Todo

Technical descriptions on how this or that part is implemented

• Gen monad internals
• Derivation internals
  • Derivation task
  • Closure of generators
  • Analysis of data for recursion
  • Derivation tuning via parametrisation
  • Dependencies calculation
  • Ordering in the “least-effort” strategy