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