GitHub repository: rbarreiro/idrisjs
Primary language: Idris
Created: 2016-01-10T20:16:07Z
Description: Js libraries for idris