Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
June 8, 2015. 5:20 p.m.
Build took
60
seconds
View docs
View raw
Build #2932780
latest
(
101f5f935cff60611809047025a4fef89d2e2dee
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return: