puffnfresh/tryidris


Try Idris

https://tryidris.herokuapp.com/

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
Created
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