Toggle navigation
Packages
Pricing
Docs
Log in
zigma
Total Owned Packages
2
Total Downloads
402
idris2
0.2.1-alpha.1
263 Downloads
Erlang code generator for Idris 2
mix_idris2
0.1.0
139 Downloads
Mix compiler for Idris 2
Christian Rasmussen
christian.rasmussen@me.com