mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-18 00:31:57 +03:00
13 lines
509 B
ReStructuredText
13 lines
509 B
ReStructuredText
|
**************************
|
||
|
|
Frequently Asked Questions
|
||
|
|
**************************
|
||
|
|
|
||
|
|
Can Idris 2 compile itself?
|
||
|
|
===========================
|
||
|
|
|
||
|
|
Not yet. Although it is written in Idris, there are several changes to the
|
||
|
|
language which are not fully backwards compatible (see Section
|
||
|
|
:ref:`updates-index`) so, although we hope to get there fairly soon - especially
|
||
|
|
since we are resisting using any of the more sophisticated language features -
|
||
|
|
it's not automatically the case that it will be able to compile itself.
|