zigma

Total Owned Packages
2

Total Downloads
321

  • idris20.2.1-alpha.1

    197 Downloads

    Erlang code generator for Idris 2

  • mix_idris20.1.0

    124 Downloads

    Mix compiler for Idris 2

Christian Rasmussen

About Hex

Help

Policies and Terms

2020 © Six Colors AB.

Powered by the Erlang VM and the Elixir programming language.