Alexey Gaziev
f126cb8d68
Merge pull request #9 from gazay/chapter22
|
9 år sedan | |
|---|---|---|
| .. | ||
| 1-basic-logic.ltx | 9 år sedan | |
| 2-more-logic.ltx | 9 år sedan | |
| 3-idris.ltx | 10 år sedan | |
|
Alexey Gaziev
f126cb8d68
Merge pull request #9 from gazay/chapter22
|
9 år sedan | |
|---|---|---|
| .. | ||
| 1-basic-logic.ltx | 9 år sedan | |
| 2-more-logic.ltx | 9 år sedan | |
| 3-idris.ltx | 10 år sedan | |