vic/elixir_idris

---

vic/elixir_idris.json

{
  "defaultBranch": "master",
  "description": "Idris compiler on Elixir",
  "fullName": "vic/elixir_idris",
  "homepage": "",
  "language": "Elixir",
  "name": "elixir_idris",
  "pushedAt": "2018-03-16T12:44:34Z",
  "stargazersCount": 2,
  "updatedAt": "2018-12-15T23:09:11Z",
  "url": "https://github.com/vic/elixir_idris"
}

Idris

Experimental As Hell

You just need latest idris installed.

cd examples/hello_elixir
mix deps.get
mix compile

Installation

If available in Hex, the package can be installed by adding idris to your list of dependencies in mix.exs:

def deps do
  [
    {:idris, "~> 0.1.0"}
  ]
end

Documentation can be generated with ExDoc and published on HexDocs. Once published, the docs can be found at https://hexdocs.pm/idris.