https://github.com/ziman/idris-ocaml

OCaml back end for Idris
https://github.com/ziman/idris-ocaml

Last synced: about 1 month ago
JSON representation

OCaml back end for Idris

• Host: GitHub
• URL: https://github.com/ziman/idris-ocaml
• Owner: ziman
• License: other
• Created: 2016-05-03T17:20:32.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2018-01-24T12:43:53.000Z (almost 7 years ago)
• Last Synced: 2023-03-11T04:28:42.967Z (over 1 year ago)
• Language: Haskell
• Size: 53.7 KB
• Stars: 22
• Watchers: 4
• Forks: 3
• Open Issues: 0

Awesome Lists containing this project