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