@@ -1,19 +0,0 @@
3−##########################
4−Frequently Asked Questions
5−##########################
8− The documentation for Idris has been published under the Creative
9− Commons CC0 License. As such to the extent possible under law, *The
10− Idris Community* has waived all copyright and related or neighboring
11− rights to Documentation for Idris.
13− More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/