zigma avatar

Christian Rasmussen

zigma

Total Packages

2

Total Downloads

524+

christian.rasmussen@me.com
Packages Stats

Packages

idris2

0.2.1-alpha.1
333+

Erlang code generator for Idris 2

Last Updated: about 5 years ago

mix_idris2

0.1.0
191+

Mix compiler for Idris 2

Last Updated: about 5 years ago