zigma

Total Owned Packages
2

Total Downloads
369

  • idris20.2.1-alpha.1

    238 Downloads

    Erlang code generator for Idris 2

  • mix_idris20.1.0

    131 Downloads

    Mix compiler for Idris 2

Christian Rasmussen