[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#914691: RFA: agda-stdlib -- standard library for Agda



Hello everyone,

On Mon, 2018-11-26 at 10:26 +0000, Iain Lane wrote:
> 
> I'm not involved in this area any more. I've been basically ignoring
> the
> package and people from the Haskell team have been kindly uploading
> it
> in my absence.
> 
> I'd like it if someone were to take it off my hands. That will
> probably
> be the Haskell team, but Sean points out to me that there would be no
> human uploaders if the team were to take it over directly. So ideally
> someone in the team would sign up to be an Uploader and make pkg-
> haskell
> the Maintainer.

Let me know if there is a process to follow in applying, but I'd like
to contribute with maintaining this library package. So far I had a few
attempts about two years ago in creating a C++ package or two, but none
in Haskell or Agda. I use Haskell professionally and I've been learning
Agda.


-- 
Regards,
Marko Dimjašević <marko@dimjasevic.net>
https://dimjasevic.net/marko
PGP key ID:       056E61A6F3B6C9323049DBF9565EE9641503F0AA
Learn email self-defense! https://emailselfdefense.fsf.org

Attachment: signature.asc
Description: This is a digitally signed message part


Reply to: