Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
June 18, 2015. 10:58 p.m.
Build took
47
seconds
View docs
View raw
Build #2981500
latest
(
5457da9934bf4bf561e7786ab0da812026bd6ec0
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return: