Toggle navigation
Packages
Pricing
Docs
Log in
mix_idris2
0.1.0
Mix compiler for Idris 2
Links
Online documentation
GitHub
License
BSD-3-Clause
Downloads
0
20
40
60
80
Last 30 days, all versions
118
118
this version
0
0
yesterday
0
0
last 7 days
118
118
all time
Versions
(1)
0.1.0
Sep 26, 2020
Dependencies
(0)
Recent Activity
Sep 26, 2020
Publish release 0.1.0
Show All Activities
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
mix
Owners
zigma
Publisher
zigma
Dependents (0)