Alexey Gaziev f126cb8d68 Merge pull request #9 from gazay/chapter22 пре 10 година
..
1-basic-logic.ltx dd11705174 some fixes for ch2 part 1 пре 10 година
2-more-logic.ltx 34f1de9b4d Start translating 2-2 пре 10 година
3-idris.ltx 9cfdeaffe5 move book/ -> ru/ пре 10 година