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: 27 days 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 (over 3 years ago)
• Default Branch: master
• Last Pushed: 2021-09-22T11:36:28.000Z (about 3 years ago)
• Last Synced: 2023-03-05T13:18:33.875Z (over 1 year ago)
• Topics: demo-app, idris, idris2, javascript, learning-by-doing, web
• Language: JavaScript
• Homepage:
• Size: 49.8 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project