https://github.com/grin-compiler/idris-grin

GRIN backend for Idris
https://github.com/grin-compiler/idris-grin

compiler functional-programming grin idris

Last synced: about 1 month ago
JSON representation

GRIN backend for Idris

• Host: GitHub
• URL: https://github.com/grin-compiler/idris-grin
• Owner: grin-compiler
• License: other
• Created: 2018-09-18T09:36:52.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-04-11T17:22:00.000Z (almost 5 years ago)
• Last Synced: 2024-11-06T08:08:05.868Z (3 months ago)
• Topics: compiler, functional-programming, grin, idris
• Language: Idris
• Homepage: https://grin-compiler.github.io/
• Size: 441 KB
• Stars: 51
• Watchers: 13
• Forks: 3
• Open Issues: 3

Awesome Lists containing this project