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.