GitHub repository: running-grass/idris2-tutorial-zh
Primary language: Idris
Description: 通过weblate翻译idris2教程