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