Packages

Erlang code generator for Idris 2

Current section

0 Dependencies

Jump to

Dependencies of idris2

0 dependencies

idris2 has no dependencies.

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

407

yesterday

1

last 7 days

7

all time

407

Last Updated

Sep 26, 2020

License

BSD-3-Clause

Build Tools

rebar3

Publisher

zigma zigma

Links

Owners