From 57d994107d927e6c81515c805af13ad7119504e3 Mon Sep 17 00:00:00 2001
From: AnHaechan <mike000529@gmail.com>
Date: Tue, 22 Aug 2023 11:12:46 +0000
Subject: [PATCH 1/2] why3: removed unnecessary newlines

---
 assets/why3/assignment05/binary_search.mlw | 1 +
 assets/why3/assignment05/max.mlw           | 2 +-
 assets/why3/assignment05/pascal.mlw        | 2 ++
 assets/why3/exercises/ex1_eucl_div.mlw     | 2 +-
 assets/why3/exercises/ex2_fact.mlw         | 2 +-
 assets/why3/exercises/ex3_two_way.mlw      | 2 +-
 6 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/assets/why3/assignment05/binary_search.mlw b/assets/why3/assignment05/binary_search.mlw
index 931cc48..17cd0c9 100644
--- a/assets/why3/assignment05/binary_search.mlw
+++ b/assets/why3/assignment05/binary_search.mlw
@@ -19,4 +19,5 @@ module BinarySearch
   =
     (* IMPORTANT: DON'T MODIFY THE ABOVE LINES *)
     0 (* TODO *)
+    
 end
\ No newline at end of file
diff --git a/assets/why3/assignment05/max.mlw b/assets/why3/assignment05/max.mlw
index b0b858b..49c168e 100644
--- a/assets/why3/assignment05/max.mlw
+++ b/assets/why3/assignment05/max.mlw
@@ -26,4 +26,4 @@ module Max
     done;
     max
 
-end
+end
\ No newline at end of file
diff --git a/assets/why3/assignment05/pascal.mlw b/assets/why3/assignment05/pascal.mlw
index 2d0fa93..c3cd28f 100644
--- a/assets/why3/assignment05/pascal.mlw
+++ b/assets/why3/assignment05/pascal.mlw
@@ -5,6 +5,7 @@
 *)
 
 module Pascal
+
   use int.Int
   use ref.Ref
   use array.Array
@@ -36,4 +37,5 @@ module Pascal
       row <- new_row
     done;
     row
+    
 end
\ No newline at end of file
diff --git a/assets/why3/exercises/ex1_eucl_div.mlw b/assets/why3/exercises/ex1_eucl_div.mlw
index c4aaf20..24fa3af 100644
--- a/assets/why3/exercises/ex1_eucl_div.mlw
+++ b/assets/why3/exercises/ex1_eucl_div.mlw
@@ -26,4 +26,4 @@ module Division
     done;
     q
 
-end
+end
\ No newline at end of file
diff --git a/assets/why3/exercises/ex2_fact.mlw b/assets/why3/exercises/ex2_fact.mlw
index adad25e..bef4c59 100644
--- a/assets/why3/exercises/ex2_fact.mlw
+++ b/assets/why3/exercises/ex2_fact.mlw
@@ -46,4 +46,4 @@ module FactLoop
     done;
     r
 
-end
+end
\ No newline at end of file
diff --git a/assets/why3/exercises/ex3_two_way.mlw b/assets/why3/exercises/ex3_two_way.mlw
index 24705bd..836722e 100644
--- a/assets/why3/exercises/ex3_two_way.mlw
+++ b/assets/why3/exercises/ex3_two_way.mlw
@@ -48,4 +48,4 @@ module TwoWaySort
       end
     done
 
-end
+end
\ No newline at end of file

From 7768e670abd4c7529e572147cefc605127cb363a Mon Sep 17 00:00:00 2001
From: AnHaechan <mike000529@gmail.com>
Date: Tue, 22 Aug 2023 11:29:47 +0000
Subject: [PATCH 2/2] removed resolved todo comment

---
 src/assignments/assignment08/mod.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/assignments/assignment08/mod.rs b/src/assignments/assignment08/mod.rs
index a63077f..4125a1a 100644
--- a/src/assignments/assignment08/mod.rs
+++ b/src/assignments/assignment08/mod.rs
@@ -10,5 +10,3 @@ pub mod small_exercises;
 
 mod church_grade;
 mod small_exercises_grade;
-
-// TODO: add kyeongmin's church encoding asignment