v0.2.1-alpha.1
Erlang code generator for Idris 2
mix.exs
rebar.config
Gleam
erlang.mk
this version
331
yesterday
0
last 7 days
all time
Last Updated
Sep 26, 2020
License
BSD-3-Clause
Build Tools
Publisher
