Sha256: d3f267edd1c35b28e8e62fe099289d97bbb474781f2f97d5ca59d12fe58305e3
Contents?: true
Size: 435 Bytes
Versions: 396
Compression:
Stored size: 435 Bytes
Contents
## Useful resources * The [official homepage](http://www.idris-lang.org/) and [documentation](http://docs.idris-lang.org/en/latest/index.html) * The [Github repository](https://github.com/idris-lang/Idris-dev) containing compiler and libraries. * The [wiki](https://github.com/idris-lang/Idris-dev/wiki) * The [mailing list](https://groups.google.com/forum/#!forum/idris-lang) * The IRC channel `#idris` on freenode
Version data entries
396 entries across 396 versions & 1 rubygems