Subject: a note

From: Attila Lendvai <[email-masked]>
Date: Thu, 14 Apr 2022 15:53:57 +0000

note that some of these packages are pointing to my own fork of the Idris2 repo.

if that is an issue, then feel free to comment out those packages for the time being.

i'm working on incorporating these branches back into the official Idris2 repo.

(the current milestone of that process is to get my build system refactor merged https://github.com/idris-lang/Idris2/pull/1990)

--
• attila lendvai
• PGP: 963F 5D5F 45C7 DFCD 0A39
--
“Journalism is printing what someone else does not want printed: everything else is public relations.”
	— George Orwell (1903–1950)