Try Idris


License: BSD-3-Clause

Language: JavaScript

Project Statistics

Sourcerank 5
Repository Size 360 KB
Stars 33
Forks 3
Watchers 5
Open issues 4
Dependencies 0
Contributors 3
Tags 0
Last updated
Last pushed

Top Contributors See all

Brian McKenna Miëtek Bak Jeremy W. Sherman

Something wrong with this page? Make a suggestion

Last synced: 2016-11-13 15:57:26 UTC

Login to resync this repository