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