https://github.com/Idris-zh/Idris-dev

用作文档目的，翻译方式见 Issue #10
https://github.com/Idris-zh/Idris-dev

Last synced: 2 months ago
JSON representation

用作文档目的，翻译方式见 Issue #10

• Host: GitHub
• URL: https://github.com/Idris-zh/Idris-dev
• Owner: Idris-zh
• License: other
• Fork: true (idris-lang/Idris-dev)
• Created: 2017-04-18T13:14:16.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-04-01T09:15:32.000Z (almost 6 years ago)
• Last Synced: 2024-04-09T11:59:37.295Z (9 months ago)
• Language: Haskell
• Homepage: https://idris-zh.rtfd.io
• Size: 34.7 MB
• Stars: 41
• Watchers: 5
• Forks: 3
• Open Issues: 5

Awesome Lists containing this project

• my-awesome - Idris-zh/Idris-dev - 04 star:0.0k fork:0.0k 用作文档目的，翻译方式见 Issue #10 (Haskell)