DepTyCheck Logo
  • About this documentation
  • Tutorials
  • How-to guides
  • Reference
    • For users
    • For contributors
      • Gen monad internals
      • Derivation internals
  • Explanation
DepTyCheck
  • Reference
  • For contributors
  • View page source

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
Previous Next

© Copyright 2021-2024, Denis Buzdalov.

Built with Sphinx using a theme provided by Read the Docs.