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

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

Last synced: about 2 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 (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-06-15T13:19:45.000Z (over 4 years ago)
• Last Synced: 2024-10-13T13:09:08.382Z (3 months ago)
• Language: Idris
• Size: 13.7 KB
• Stars: 9
• Watchers: 3
• 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.