任务列表 - Githubissues

Agda-zh / PLFA-zh

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

https://agda-zh.github.io/PLFA-zh/

Creative Commons Attribution 4.0 International

201 stars 21 forks source link

任务列表 #2

Open OlingCat opened 5 years ago

OlingCat commented 5 years ago

[x] README #4
[x] Index #5

Front matter

[x] Dedication
[x] Preface #13

Part 1: Logical Foundations

[x] Naturals #3
[x] Induction #15
[x] Relations #17
[x] Equality #20
[x] Isomorphism #22
[x] Connectives #24
[x] Negation #35
[x] Quantifiers #44
[x] Decidable #46
[x] Lists #49

Part 2: Programming Language Foundations

[x] Lambda #168
[x] Properties #169
[x] DeBruijn #166
[x] More #167
[x] Bisimulation #165
[x] Inference #164
[x] Untyped #163
[x] Confluence #171
[x] BigStep #170

Part 3: Denotational Semantics

[x] #172
[x] #173
[x] #174
[ ] #175
[ ] #176

Backmatter

[ ] Acknowledgements
[ ] Fonts
[ ] Statistics

fangyi-zhou commented 2 years ago

试着转移到 https://github.com/Agda-zh/PLFA-zh/projects/1

duobei commented 2 years ago

我可以领个翻译任务么

fangyi-zhou commented 2 years ago

@duobei

加入 telegram 群 https://t.me/+BhEqpvuI2gQ1NDg0