License under MPL 2.0

7 files changed, 35 insertions, 0 deletions

diff --git a/src/ast.rs b/src/ast.rs
index 744397a..447c249 100644
--- a/src/ast.rs
+++ b/src/ast.rs
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
 use std::ops::Deref;
 
 #[derive(Debug)]
diff --git a/src/main.rs b/src/main.rs
index 8264f97..bb12399 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
 pub mod ast;
 pub mod semantic;
 pub mod taiga;
diff --git a/src/semantic/environment.rs b/src/semantic/environment.rs
index 7876ad4..1f9ade0 100644
--- a/src/semantic/environment.rs
+++ b/src/semantic/environment.rs
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
 use std::collections::HashMap;
 use std::hash::Hash;
 
diff --git a/src/semantic/mod.rs b/src/semantic/mod.rs
index 433a196..e2edc24 100644
--- a/src/semantic/mod.rs
+++ b/src/semantic/mod.rs
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
 pub mod environment;
 pub mod translate;
 pub mod types;
diff --git a/src/semantic/translate.rs b/src/semantic/translate.rs
index dfcec68..7e0d2b8 100644
--- a/src/semantic/translate.rs
+++ b/src/semantic/translate.rs
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
 use ::ast::{self, WithLocation};
 use super::environment;
 use super::types::{self, Ty};
diff --git a/src/semantic/types.rs b/src/semantic/types.rs
index af6c971..25d9fb5 100644
--- a/src/semantic/types.rs
+++ b/src/semantic/types.rs
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
 #[derive(Clone,Debug,Eq,PartialEq)]
 pub enum Ty {
     Int,
diff --git a/src/taiga.lalrpop b/src/taiga.lalrpop
index bad60bb..40830c6 100644
--- a/src/taiga.lalrpop
+++ b/src/taiga.lalrpop
@@ -1,3 +1,8 @@
+// Copyright ⓒ 2017 David Li.
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
 use std::str::FromStr;
 use ast::{self, WithLocation};