.. _contributions:

*************
Contributions
*************

Contributions are very welcome!
You can help improve any part of the SDK,
including:

* agda2hs (both the compiler itself and the library) -- but for this, make a PR to the ``the-agda-sdk`` branch of ``github.com/viktorcsimma/agda2hs``;
* the build files (CMake, Cabal etc.);
* the folder structure;
* the tools included (either the Agda/Haskell or the C/C++ ones);
* and, of course, this documentation.

If you have questions, reach out anytime at
[csimmaviktor03] [at] [<the-mail-service-of-google>.com].
I would definitely be thrilled to hear from you:)