Alexey Gaziev
f126cb8d68
Merge pull request #9 from gazay/chapter22
|
před 9 roky | |
|---|---|---|
| .. | ||
| 1-basic-logic.ltx | před 9 roky | |
| 2-more-logic.ltx | před 9 roky | |
| 3-idris.ltx | před 10 roky | |
|
Alexey Gaziev
f126cb8d68
Merge pull request #9 from gazay/chapter22
|
před 9 roky | |
|---|---|---|
| .. | ||
| 1-basic-logic.ltx | před 9 roky | |
| 2-more-logic.ltx | před 9 roky | |
| 3-idris.ltx | před 10 roky | |