pro_lang_ir (cargo): data structures and algorithms for pro! intermediate representation
Keywords: wasm|webassembly|edsl|tetcoin|blockchain|cryptocurrency|programming|smart-contracts