zigma

Total Owned Packages
2

Total Downloads
154

  • idris20.2.1-alpha.1

    88 Downloads

    Erlang code generator for Idris 2

  • mix_idris20.1.0

    66 Downloads

    Mix compiler for Idris 2

Christian Rasmussen