zigma

Total Owned Packages
2

Total Downloads
46

  • idris20.2.1-alpha.1

    23 Downloads

    Erlang code generator for Idris 2

  • mix_idris20.1.0

    23 Downloads

    Mix compiler for Idris 2

Christian Rasmussen