Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.



#idris
The documentation for Idris 2 has been published under the Creative Commons CC0 License. As such to the extent possible under law, The Idris Community has waived all copyright and related or neighboring rights to Documentation for Idris.
If you want to change selection, open document below and click on "Move attachment"

Documentation for the Idris 2 Language — Idris2 0.0 documentation
support. Try Read the Docs for Business Today! Sponsored · Ads served ethically Idris2 Docs » Documentation for the Idris 2 Language Edit on GitHub Documentation for the Idris 2 Language¶ Note <span>The documentation for Idris 2 has been published under the Creative Commons CC0 License. As such to the extent possible under law, The Idris Community has waived all copyright and related or neighboring rights to Documentation for Idris. More information concerning the CC0 can be found online at: https://creativecommons.org/publicdomain/zero/1.0/ A Crash Course in Idris 2 Compiling to Executables Changes since Idris 1 T


Summary

statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on

Details


Discussion

Do you want to join discussion? Click here to log in or create user.