idris2 0.2.1-alpha.1

Erlang code generator for Idris 2

Links

License

BSD-3-Clause

Downloads

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

Versions (1)

Dependencies (0)

Recent Activity

  • Sep 26, 2020 Publish release 0.2.1-alpha.1

Show All Activities

Config

mix.exs
rebar.config
erlang.mk

Checksum

Build Tools

rebar3

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.