Stats
Updated daily
idris2
v0.2.1-alpha.1
Erlang code generator for Idris 2
333
Total
0
Yesterday
0
Last 7 days
mix_idris2
v0.1.0
Mix compiler for Idris 2
191
Total
0
Yesterday
0
Last 7 days