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