GitHub repository: stedolan/idris-malfunction
Primary language: Haskell
Created: 2016-06-22T10:34:40Z
Description: Experimental Malfunction backend for Idris