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

2018-11-26 Thread Marko Dimjašević
Hello everyone, On Mon, 2018-11-26 at 10:26 +, 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.

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

2018-11-26 Thread Iain Lane
Package: wnpp Severity: normal Hi there, 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,