idris2 0.2.1-alpha.1

Erlang code generator for Idris 2

Links

License

BSD-3-Clause
  • 21 21
    downloads
    this version
  • 2 2
    downloads
    yesterday
  • 2 2
    downloads
    last 7 days
  • 21 21
    downloads
    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)