mix_idris2 0.1.0

Mix compiler for Idris 2

Links

License

BSD-3-Clause

Downloads

0 20 40 60 80 Last 30 days, all versions
  • 90 90
    this version
  • 0 0
    yesterday
  • 2 2
    last 7 days
  • 90 90
    all time

Versions (1)

Dependencies (0)

Recent Activity

  • Sep 26, 2020 Publish release 0.1.0

Show All Activities

Config

mix.exs
rebar.config
erlang.mk

Checksum

Build Tools

mix

Owners

Publisher

zigma

Dependents (0)

About Hex

Help

Policies and Terms

2020 © Six Colors AB.

Powered by the Erlang VM and the Elixir programming language.