Merge branch 'main' into 'main'

why3: removed unnecessary newlines

See merge request kaist-cp-class/cs220-private!24

assets/why3/assignment05/binary_search.mlw

@@ -19,4 +19,5 @@ module BinarySearch
   =
     (* IMPORTANT: DON'T MODIFY THE ABOVE LINES *)
     0 (* TODO *)
+    
 end

assets/why3/assignment05/max.mlw

@@ -26,4 +26,4 @@ module Max
     done;
     max
 
-end
+end

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

assets/why3/exercises/ex1_eucl_div.mlw

@@ -26,4 +26,4 @@ module Division
     done;
     q
 
-end
+end

assets/why3/exercises/ex2_fact.mlw

@@ -46,4 +46,4 @@ module FactLoop
     done;
     r
 
-end
+end

assets/why3/exercises/ex3_two_way.mlw

@@ -48,4 +48,4 @@ module TwoWaySort
       end
     done
 
-end
+end

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