2020-07-10 17:23:44 +03:00
|
|
|
.. _sect-implnotes:
|
2020-07-10 17:19:02 +03:00
|
|
|
|
|
|
|
|
********************
|
|
|
|
|
Implementation Notes
|
|
|
|
|
********************
|
|
|
|
|
|
|
|
|
|
.. note::
|
|
|
|
|
|
|
|
|
|
The documentation for Idris has been published under the Creative
|
|
|
|
|
Commons CC0 License. As such to the extent possible under law, *The
|
|
|
|
|
Idris Community* has waived all copyright and related or neighboring
|
|
|
|
|
rights to Documentation for Idris.
|
|
|
|
|
|
|
|
|
|
More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
|
|
|
|
|
|
2020-07-10 19:03:32 +03:00
|
|
|
This section contains (or will contain, hopefully) a variety of notes on
|
2020-07-10 17:19:02 +03:00
|
|
|
aspects of the implementation of Idris 2, in the hope that they help with
|
|
|
|
|
debugging and future contributions.
|
|
|
|
|
|
|
|
|
|
.. toctree::
|
|
|
|
|
:maxdepth: 1
|
|
|
|
|
|
|
|
|
|
overview
|
2021-02-19 19:13:01 +03:00
|
|
|
ide-protocol
|
