idris2 0.2.1-alpha.1

Erlang code generator for Idris 2

License

BSD-3-Clause

Downloads

0 20 40 60 80 Last 30 days, all versions
  • 21 21
    this version
  • 0 0
    yesterday
  • 0 0
    last 7 days
  • 21 21
    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)