zigma

Total Owned Packages
2

Total Downloads
394

  • idris20.2.1-alpha.1

    257 Downloads

    Erlang code generator for Idris 2

  • mix_idris20.1.0

    137 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.