https://github.com/running-grass/learn-idris2

I try develop web application by idris2;
https://github.com/running-grass/learn-idris2

demo-app idris idris2 javascript learning-by-doing web

Last synced: about 1 year ago
JSON representation

I try develop web application by idris2;

• Host: GitHub
• URL: https://github.com/running-grass/learn-idris2
• Owner: running-grass
• License: mit
• Created: 2021-07-08T08:22:50.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2021-09-22T11:36:28.000Z (almost 5 years ago)
• Last Synced: 2025-06-24T02:50:11.507Z (about 1 year ago)
• Topics: demo-app, idris, idris2, javascript, learning-by-doing, web
• Language: JavaScript
• Homepage:
• Size: 49.8 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# learn-idris2