Alexey Gaziev
f126cb8d68
Merge pull request #9 from gazay/chapter22
|
преди 10 години | |
|---|---|---|
| .. | ||
| 1-basic-logic.ltx | преди 10 години | |
| 2-more-logic.ltx | преди 10 години | |
| 3-idris.ltx | преди 10 години | |
|
Alexey Gaziev
f126cb8d68
Merge pull request #9 from gazay/chapter22
|
преди 10 години | |
|---|---|---|
| .. | ||
| 1-basic-logic.ltx | преди 10 години | |
| 2-more-logic.ltx | преди 10 години | |
| 3-idris.ltx | преди 10 години | |