Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
June 1, 2015. 10:26 a.m.
Build took
50
seconds
View docs
View raw
Build #2895788
latest
(
37119ebbd9ce973fa43f5171377f40f9f3c7bfbf
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return:
Build completed
Build failed
