We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c1d35a8 commit 9cd4ce2Copy full SHA for 9cd4ce2
README.md
@@ -58,7 +58,7 @@ or by downloading [the zip archive](https://github.com/plfa/plfa.github.io/archi
58
59
git clone https://github.com/plfa/plfa.github.io
60
61
- git clone https://github.com/plfa/plfa.github.io
+中文版:
62
63
git clone https://github.com/Agda-zh/PLFA-zh
64
0 commit comments