Agda's stdlib is good example of this problem. Beautiful, but takes days to load up into your head after time away. agda.github.io/agda-stdlib/
Conversation
I think literate and "refinement-oriented" programming would be a great UI for this. You start with sth "obvious" and then refine slowly
1
1
..... or start with whatever is there, and "anti-refine" it into more readable code :)
1
1
Replying to
Yeah. I would like to show a few examples, then play around with abstracting/instantiating.