GitHub repository: lagunoff/idris-elm
Primary language: Idris
Created: 2018-05-08T17:44:02Z
Description: The Elm architecture ported on Idris Programming language