LICENSE: init

Copy the text from the original version and add a note about
this Idris translation, naming me as the Author of Record.

Author: yurrriq

LICENSE

@@ -0,0 +1,11 @@
+I hereby assign copyright in my past and future contributions to the Software
+Foundations project to the Author of Record of each volume or component, to be
+licensed under the same terms as the rest of Software Foundations. I understand
+that, at present, the Authors of Record are as follows: For Volumes 1 and 2,
+known until 2016 as "Software Foundations" and from 2016 as (respectively)
+"Logical Foundations" and "Programming Foundations," the Author of Record is
+Benjamin Pierce. For Volume 3, "Verified Functional Algorithms", the Author of
+Record is Andrew W. Appel. For components outside of designated Volumes (e.g.,
+typesetting and grading tools and other software infrastructure), the Author of
+Record is Benjamin Pierce. For the Idris translation, the Author of Record is
+Eric Bailey.