Michael Pankov

As a library user, I'm for 2. We're reading its source and looking for definitions *far* more frequently than we update the schema file. I'd commit it right away and...

Ok, thanks for explanation

I saw some implementation in git history. Why it was removed?

That's a pity, really. Good luck with your other endeavors!

Looks like `hdevtools` explicitly searches for `*.hs` files even when only `*.hi` are installed: ``` [hsenv]➜ geometroid git:(master) ✗ hdevtools check -g '-v' Fighting.hs ... : *** Chasing dependencies: :...

@bitc Yes. More like "not handling hsenv properly", but since it all was discussed here, I posted it to this issue.

Как насчёт завести репозиторий, куда с помощью submodules подключить наш и оригинальный? Тогда за обновлениями будет следить git.

Не уверен. `mdBook` сам по себе не обеспечивает решение этой проблемы - она во многом организационная, и движения в этом со стороны Core Team я пока не вижу.

Согласен, полная шляпа написана :confused:

Дополнение: нужно изменять одновременно во всех книгах (этой, макросах и номиконе).