License under MPL 2.0

4 files changed, 20 insertions, 0 deletions

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,