Home / Idris / idris-malfunction idris-malfunction Experimental Malfunction (OCaml internal representation) backend. Package 82 stars GitHub Back to Idris