Read the Docs
Log In
View Docs
The Idris Language
Overview
Downloads
Search
Builds
Versions
Completed
March 23, 2015. 9:06 a.m.
Build took
42
seconds
View docs
View raw
Build #2475587
latest
(
cea78700e26329a7a9b4d1b91ad1d78718c3150a
)
Finished
Build completed
Build failed
Error
Command time:
0
s
Return: