mix_idris2

v 0.1.0

Mix compiler for Idris 2

Readme 0 Dependencies 0 Dependants Activity Versions

Date	Activity
Sep 26, 2020	Publish release 0.1.0

1 activity of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 0.1.0

this version

185

yesterday

0

last 7 days

0

all time

185

Last Updated

Sep 26, 2020

License

BSD-3-Clause

Build Tools

mix

Publisher

Links

GitHub

Owners

zigma