search

plfa / plfa.github.io

An introduction to programming language theory in Agda
https://plfa.github.io
Creative Commons Attribution 4.0 International
1.36k stars 307 forks source link

Fixed some typos #981

Closed OlingCat closed 6 months ago

wadler commented 6 months ago

Thank you!

OlingCat commented 6 months ago

I just finished the Chinese translation of this chapter and found some typos. Could you please squash and merge this PR?
@wenkokke Thank you!

wenkokke commented 6 months ago

I just finished the Chinese translation of this chapter and found some typos. Could you please squash and merge this PR?

@wenkokke Thank you!

Thank you!