Is this repo still active?

[andreasabel]

Going through the repos on @agda, moving the retired ones to @agda-attic ...

Is this repo still of interest and should stay on @agda, or should I move it to @agda-attic ?
@JacquesCarette @Taneb

[JacquesCarette]

This one is inactive. We should probably just take all the contents and bring it into agda-categories. (It would help if I could be a member of @agda-attic ?) We could then simply delete it. @Taneb , what do you think?

[Taneb]

• Categories.Example.Monad.Duration: this seems to be what in Haskell-land would be called the Writer monad. I wonder if there's a "more general" definition? Does it work for a monoid object in any monoidal category? If it can be generalized it would definitely be worth having.
• Categories.Example.Functor.Sets: this is showing a bunch of structures from stdlib are endofunctors over Sets. I think we want this eventually, at least if we ever merge agda-categories into stdlib.

So yeah, I think the contents of this repo should be in agda-categories. But I think some thought needs to go into deciding where

[JacquesCarette]

Ok, let's work towards integrating everything (properly) into agda-categories.

[Taneb]

I've created a couple of issues in agda-categories to figure out how to do that

[andreasabel]

@JacquesCarette wrote:

This one is inactive. We should probably just take all the contents and bring it into agda-categories. (It would help if I could be a member of @agda-attic ?)

Since I did not know about the status of this repo, I left it in @agda for now. Should I move it to @agda-attic? (In this case, I would make sure you retain admin rights on the repo.)

[JacquesCarette]

@andreasabel if you're willing to wait a while, maybe this project will end up getting deleted rather than needing to move. But if you want to clean up asap, then go ahead and move it.

[andreasabel]

I am fine to wait.