Alexey Gaziev
f126cb8d68
Merge pull request #9 from gazay/chapter22
|
il y a 9 ans | |
|---|---|---|
| .. | ||
| 1-basic-logic.ltx | il y a 9 ans | |
| 2-more-logic.ltx | il y a 9 ans | |
| 3-idris.ltx | il y a 10 ans | |
|
Alexey Gaziev
f126cb8d68
Merge pull request #9 from gazay/chapter22
|
il y a 9 ans | |
|---|---|---|
| .. | ||
| 1-basic-logic.ltx | il y a 9 ans | |
| 2-more-logic.ltx | il y a 9 ans | |
| 3-idris.ltx | il y a 10 ans | |