jmitchell/idris-elixir

Idris backend targeting Elixir (Work in progress)

语言：Haskell · GitHub 星标：18 · Fork：0

话题：code-generator · elixir · idris · translator

在 GitHub 上查看原仓库