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