Alexey Gaziev f126cb8d68 Merge pull request #9 from gazay/chapter22 10 rokov pred
..
1-basic-logic.ltx dd11705174 some fixes for ch2 part 1 10 rokov pred
2-more-logic.ltx 34f1de9b4d Start translating 2-2 10 rokov pred
3-idris.ltx 9cfdeaffe5 move book/ -> ru/ 10 rokov pred