GNU bug report logs - #49607
[PATCH] gnu: Add Idris 2.

Previous Next

Full log

Message #55 received at 49607 <at> debbugs.gnu.org (full text, mbox):

From: Attila Lendvai <attila <at> lendvai.name>
To: "49607 <at> debbugs.gnu.org" <49607 <at> debbugs.gnu.org>
Subject: idris bootstrap, bailing out
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.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.