Re: Packaging Idris2

[(]

On Sun Aug 21, 2022 at 11:39 AM BST, ( wrote:
> Yes, that's true -- however, it's still not the complete, readable
> source code. (It presumably doesn't have comments either, which greatly
> aid understanding, of course.) We do make exceptions when bootstrapping
> is simply impossible with currently existing tools (see Haskell, Pascal,
> and Nim) but here, where it does seem to be possile, 

Oops, left off the end of this sentence -- it should be:

> and Nim) but here, where it does seem to be possible, we should make
> every effort to avoid pregenerated files.

    -- (