learnyou/lysa: Learn You Some Algebras for Glorious Good!: A math textbook that's free, fun, and easy to read! That's free, in both senses of the word.

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/	9 年之前