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.