mix_idris2

v0.1.0

Mix compiler for Idris 2

HexPreview

Current section

1 Version

Jump to

Readme 1 Version 0 Dependencies 0 Dependants Activity

Versions

September 26, 2020

Version	Publish Date	Note	Actions
0.1.0	September 26, 2020

1 version of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

191

yesterday

0

last 7 days

0

all time

191

Last Updated

Sep 26, 2020

License

BSD-3-Clause

Build Tools

mix

Publisher

Links

GitHub

Owners

zigma