jameshaydon/idris-elixir

A code-generator for Idris that targets Elixir

语言：Haskell · GitHub 星标：63 · Fork：1

话题：actor-model · code-generation · compiler · elixir · idris

在 GitHub 上查看原仓库