Please enable JavaScript in your browser!
Home
Explore
Help
Sign In
learnyou
/
lysa
Watch
2
Star
0
Fork
0
Files
Issues
0
Pull Requests
0
Wiki
Branch:
master
Branches
Tags
master
lysa
/
ru
/
chapters
/
2
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