Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
June 4, 2015. 4:03 a.m.
Build took
63
seconds
View docs
View raw
Build #2912937
latest
(
763af0449cb07aa250b77890c1e1badd25497173
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return: