Geeks
vic
/
elixir_idris
Idris compiler on Elixir
Primary Language
Elixir
Apache License 2.0
Apache-2.0
elixir_idris GitHub
Markdown
Readme
0
Issues
2
Stargazers
3
Watchers
Stargazers
juanbono
@lambdaclass
thetamind
Winnipeg, MB, Canada