Hi Andreas,
On Sat Aug 20, 2022 at 11:01 PM BST, Andreas Reuleaux wrote:
> You bootstrap it from scheme (chez or racket), as comes within the Idris2
> tarball
> (and built with Idris 2 itself: Idris2 -> Chez Scheme / Racket).
Since this Scheme is pregenerated, it cannot really count as source code. So
we need to find a version of Idris2 that can still be built with Idris1, then
try to build a later version with that Idris2, and keep going until we get to
the latest version, like our rustc bootstrap process.
-- (
