real-world-idris. Malfunction backend for Idris with a FFI to OCaml
awesome-cs407. being a curated list of notes and resources related to the Computer Security (cs407) class at the University of Strathclyde
idris-malfunction. Experimental Malfunction backend for Idris
