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