Subject: idris bootstrap, bailing out

From: Attila Lendvai <[email-masked]>
Date: Thu, 08 Dec 2022 00:42:31 +0000

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.