[bug#49607] idris bootstrap, bailing out

[Attila Lendvai]

FTR, i have failed to inspire the idris maintainers with my refactor of the 
idris build system, and my setup that enables chain-bootstrapping the entire 
idris language evolution all the way down from GHC.

https://github.com/idris-lang/Idris2/pull/1990

i have also lost my initial interest in delving deep into idris, so i will not 
pursue my idris related work anymore.

i'm happy to help anyone who wants to pick up this work, though! i may even get 
involved if there's someone else who steps up to champion the cause.

-- 
• attila lendvai
• PGP: 963F 5D5F 45C7 DFCD 0A39
--
“Knowledge makes a man unfit to be a slave.”
        — Frederick Douglass (1818–1895), a former slave.