https://github.com/bamboo/idris2dart

The Dart backend for Idris 2.
https://github.com/bamboo/idris2dart

dart flutter idris idris2 idris2-ecosystem

Last synced: 10 days ago
JSON representation

The Dart backend for Idris 2.

• Host: GitHub
• URL: https://github.com/bamboo/idris2dart
• Owner: bamboo
• License: other
• Created: 2020-08-29T20:17:42.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2021-07-04T21:39:16.000Z (over 3 years ago)
• Last Synced: 2023-03-11T02:35:00.143Z (over 1 year ago)
• Topics: dart, flutter, idris, idris2, idris2-ecosystem
• Language: Idris
• Homepage:
• Size: 396 KB
• Stars: 46
• Watchers: 8
• Forks: 5
• Open Issues: 1

Awesome Lists containing this project