Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
March 23, 2015. 11:36 p.m.
Build took
53
seconds
View docs
View raw
Build #2479505
latest
(
7d76d93a024c4a5d2bf8dbb060e2b312f7b9602b
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return: