https://github.com/jmitchell/idris-elixir

Idris backend targeting Elixir (Work in progress)
https://github.com/jmitchell/idris-elixir

code-generator elixir idris translator

Last synced: 2 months ago
JSON representation

Idris backend targeting Elixir (Work in progress)

• Host: GitHub
• URL: https://github.com/jmitchell/idris-elixir
• Owner: jmitchell
• License: other
• Created: 2017-01-18T13:56:17.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-01-26T20:22:31.000Z (almost 8 years ago)
• Last Synced: 2023-04-07T21:37:31.751Z (over 1 year ago)
• Topics: code-generator, elixir, idris, translator
• Language: Haskell
• Size: 13.7 KB
• Stars: 18
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project