Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
June 2, 2015. 10:10 p.m.
Build took
73
seconds
View docs
View raw
Build #2905852
latest
(
fe4c09d34647d76075aecbfe07cb26ae8a74a5de
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return: