Packages

Erlang code generator for Idris 2

Current section

1 Version

Jump to

Versions

September 26, 2020

1 version of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 1 2 3 4

this version

347

yesterday

2

last 7 days

6

all time

347

Last Updated

Sep 26, 2020

License

BSD-3-Clause

Build Tools

rebar3

Publisher

zigma zigma

Links

Owners