https://github.com/stepancheg/learn-idris-pub

Public data for https://learn-idris.net/
https://github.com/stepancheg/learn-idris-pub

Last synced: 5 months ago
JSON representation

Public data for https://learn-idris.net/

• Host: GitHub
• URL: https://github.com/stepancheg/learn-idris-pub
• Owner: stepancheg
• Created: 2020-06-09T03:01:14.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-06-15T13:19:45.000Z (about 6 years ago)
• Last Synced: 2025-07-12T07:32:49.928Z (11 months ago)
• Language: Idris
• Size: 13.7 KB
• Stars: 9
• Watchers: 2
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# learn-idris-pub

Public data, issue tracker, some sources for https://learn-idris.net/

Feel free to open an issue with suggestion or question.