GitHub - arend-lang/arend-lang.github.io: Arend language website

Name		Name	Last commit message	Last commit date
Latest commit History 81 Commits
2019		2019
2020		2020
2021		2021
2022		2022
2024/07/05		2024/07/05
2025/12/11		2025/12/11
about		about
arend-lib		arend-lib
assets		assets
documentation		documentation
page2		page2
page3		page3
404.html		404.html
feed.xml		feed.xml
index.html		index.html
robots.txt		robots.txt
sitemap.xml		sitemap.xml