idris2

v0.2.1-alpha.1

Erlang code generator for Idris 2

HexPreview

Current section

Readme

Jump to

Readme 1 Version 0 Dependencies 0 Dependants Activity

Loading README...

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

337

yesterday

4

last 7 days

4

all time

337

Last Updated

Sep 26, 2020

License

BSD-3-Clause

Build Tools

rebar3

Publisher

Links

GitHub

Owners

zigma