Packages

Erlang code generator for Idris 2

Current section

0 Dependants

Jump to

Packages depending on idris2

0 packages

No packages depend on idris2 yet.

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