GitHub / running-grass / idris2-tutorial-zh
翻译idris2教程
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/running-grass%2Fidris2-tutorial-zh
Fork of stefan-hoeck/idris2-tutorial
Stars: 12
Forks: 2
Open issues: 0
License: bsd-3-clause
Language: Idris
Size: 3.21 MB
Dependencies parsed at: Pending
Created at: almost 3 years ago
Updated at: 14 days ago
Pushed at: 14 days ago
Last synced at: 3 days ago
Topics: chinese, document, idris, idris2, tutorial
Loading...