v 0.1.0
Mix compiler for Idris 2
mix.exs
rebar.config
erlang.mk
this version
185
yesterday
0
last 7 days
all time
Last Updated
Sep 26, 2020
License
BSD-3-Clause
Build Tools
Publisher
