Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
June 13, 2015. 7:07 p.m.
Build took
52
seconds
View docs
View raw
Build #2957261
latest
(
078574ac3fbeadfcfde82a87b0b651a925f60c2b
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return:
Build completed
Build failed
