Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
June 14, 2015. 11:05 a.m.
Build took
71
seconds
View docs
View raw
Build #2958587
latest
(
f224681a7c560ecd97463bab197b18547ee1b8c9
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return:
Build completed
Build failed
