idris2

v 0.2.1-alpha.1

Erlang code generator for Idris 2

Readme 0 Dependencies 0 Dependants Activity Versions

Packages depending on idris2

0 packages

No packages depend on idris2 yet.

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 0.2.1-alpha.1

this version

327

yesterday

0

last 7 days

0

all time

327

Last Updated

Sep 26, 2020

License

BSD-3-Clause

Build Tools

rebar3

Publisher

Links

GitHub

Owners

zigma