Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
June 1, 2015. 7:48 p.m.
Build took
57
seconds
View docs
View raw
Build #2898724
latest
(
a38f7129805904d5bfb228b63ac8e4390c231ead
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return: