Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
June 3, 2015. 4:43 p.m.
Build took
54
seconds
View docs
View raw
Build #2910431
latest
(
0bc0008f6a38122bf9965161a3560ce0a6661564
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return: