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