Duplication with agda-stdlib

[felixwellen]

There is quite some duplication with agda-stdlib. One thing that could be factored out and be a dependendcy of both, is functional programming (data structures and algorithms) including reflection code. We have to figure out, how much of a hassle this is.

[sgraf812]

In the same vein: Some names for lemmas and fixities are subtly different than in the stdlib.
It's a bit of a nuisance to port code that way; is that intentional?

[felixwellen]

It is certainly not my intention. Would you like to make a list and put it into a new issue?

[felixwellen]

There is quite some duplication with agda-stdlib. One thing that could be factored out and be a dependendcy of both, is functional programming (data structures and algorithms) including reflection code. We have to figure out, how much of a hassle this is.

I figured out, that it is quite a lot of work to do. I think the only reasonable thing to do, is to stay compatible concerning names and choices.