Я все еще работаю над своим текстовым редактором Rasa . На данный момент я создаю систему для отслеживания окон / разделений (аналогично разделам в vim). Мне показалось естественным представить эту структуру в виде дерева: data Dir = Hor...

Я читал статью Джереми Гиббонса о программировании оригами . и я застрял на упражнении 3.7, в котором читателю предлагается доказать закон слияния для развертывания списка: unfoldL p f g . h = unfoldL p' f' g' if p . h = p' f ....