From 7c3198fee4de005290d5d8cd942c9921cd0b34d5 Mon Sep 17 00:00:00 2001
From: SowinskiBraeden <braeden@sowinski.dev>
Date: Thu, 19 Feb 2026 11:59:58 -0800
Subject: [PATCH] restructure + lecutre 07

---
 {lab01 => labs/01}/expo.ml                    |   0
 {lab01 => labs/01}/lab1.ml                    |   0
 {lab02 => labs/02}/lab2.ml                    |   0
 {lab03 => labs/03}/kvtree.ml                  |   0
 {lab03 => labs/03}/part1.ml                   |   0
 labs/04/_build/_digests                       |   5 +
 labs/04/_build/_log                           |  12 ++
 labs/04/_build/records.cmx                    | Bin 0 -> 990 bytes
 labs/04/_build/records.ml                     | 143 ++++++++++++++++++
 labs/04/_build/records.ml.depends             |   1 +
 labs/04/_build/records.o                      | Bin 0 -> 26096 bytes
 {lab04 => labs/04}/data.txt                   |   0
 {lab04 => labs/04}/data1.txt                  |   0
 {lab04 => labs/04}/data2.txt                  |   0
 {lab04 => labs/04}/records.ml                 |   0
 {lab05 => labs/05}/kvtree/kvtree.ml           |   6 +-
 {lab05 => labs/05}/kvtree/kvtree.mli          |   0
 {lab05 => labs/05}/kvtree/tests.ml            |   0
 {lecture01 => lectures/01}/notes.ml           |   0
 {lecture01 => lectures/01}/tinker.ml          |   0
 {lecture02 => lectures/02}/html/Length.html   |   0
 {lecture02 => lectures/02}/html/index.html    |   0
 .../02}/html/index_attributes.html            |   0
 .../02}/html/index_class_types.html           |   0
 .../02}/html/index_classes.html               |   0
 .../02}/html/index_exceptions.html            |   0
 .../02}/html/index_extensions.html            |   0
 .../02}/html/index_methods.html               |   0
 .../02}/html/index_module_types.html          |   0
 .../02}/html/index_modules.html               |   0
 .../02}/html/index_types.html                 |   0
 .../02}/html/index_values.html                |   0
 {lecture02 => lectures/02}/html/style.css     |   0
 .../02}/html/type_Length.html                 |   0
 {lecture02 => lectures/02}/lists.ml           |   0
 {lecture02 => lectures/02}/notes02.ml         |   0
 {lecture03 => lectures/03}/notes03.ml         |   0
 {lecture04 => lectures/04}/bstree.ml          |   0
 {lecture04 => lectures/04}/bstree.mli         |   0
 {lecture04 => lectures/04}/notes.ml           |   0
 lectures/05/_build/_digests                   |  25 +++
 lectures/05/_build/_log                       |  12 ++
 lectures/05/_build/cat.cmx                    | Bin 0 -> 218 bytes
 lectures/05/_build/cat.ml                     |  25 +++
 lectures/05/_build/cat.ml.depends             |   1 +
 lectures/05/_build/cat.o                      | Bin 0 -> 3224 bytes
 lectures/05/_build/echo.cmx                   | Bin 0 -> 489 bytes
 {lecture05 => lectures/05/_build}/echo.ml     |   0
 lectures/05/_build/echo.ml.depends            |   1 +
 lectures/05/_build/echo.o                     | Bin 0 -> 3496 bytes
 lectures/05/_build/number_file_lines.cmx      | Bin 0 -> 548 bytes
 .../05/_build}/number_file_lines.ml           |   0
 .../05/_build/number_file_lines.ml.depends    |   1 +
 lectures/05/_build/number_file_lines.o        | Bin 0 -> 5768 bytes
 lectures/05/_build/number_lines.cmx           | Bin 0 -> 411 bytes
 .../05/_build}/number_lines.ml                |   0
 lectures/05/_build/number_lines.ml.depends    |   1 +
 lectures/05/_build/number_lines.o             | Bin 0 -> 3752 bytes
 lectures/05/_build/sum_integers.cmx           | Bin 0 -> 477 bytes
 .../05/_build}/sum_integers.ml                |   0
 lectures/05/_build/sum_integers.ml.depends    |   1 +
 lectures/05/_build/sum_integers.o             | Bin 0 -> 5056 bytes
 {lecture05 => lectures/05}/cat.ml             |   0
 {lecture05 => lectures/05}/data.txt           |   0
 lectures/05/echo.ml                           |   6 +
 {lecture05 => lectures/05}/notes.ml           |   1 -
 lectures/05/number_file_lines.ml              |  16 ++
 lectures/05/number_lines.ml                   |   9 ++
 {lecture05 => lectures/05}/output             |   0
 {lecture05 => lectures/05}/ref.ml             |   0
 lectures/05/sum_integers.ml                   |  12 ++
 lectures/06/_build/_digests                   |   3 +
 lectures/06/_build/_log                       |   8 +
 .../06/_build}/two_list_queue.ml              |   0
 lectures/06/_build/two_list_queue.ml.depends  |   1 +
 {lecture06 => lectures/06}/bstree.ml          |   0
 {lecture06 => lectures/06}/bstree.mli         |   0
 {lecture06 => lectures/06}/bstree2.ml         |   0
 .../06}/functor/_build/_digests               |   0
 .../06}/functor/_build/_log                   |   0
 .../06}/functor/_build/bstree.ml              |   0
 .../06}/functor/_build/bstree.ml.depends      |   0
 .../06}/functor/_build/bstree.mli             |   0
 .../06}/functor/_build/bstree.mli.depends     |   0
 {lecture06 => lectures/06}/functor/bstree.ml  |   0
 {lecture06 => lectures/06}/functor/bstree.mli |   0
 {lecture06 => lectures/06}/notes.ml           |   0
 {lecture06 => lectures/06}/notes.txt          |   0
 {lecture06 => lectures/06}/queue.ml           |   0
 lectures/06/two_list_queue.ml                 |  42 +++++
 lectures/07/bstree.ml                         |   2 +
 lectures/07/counter.ml                        |   7 +
 lectures/07/frequency.ml                      |  12 ++
 lectures/07/leftist.ml                        |  46 ++++++
 lectures/07/modules.ml                        |  47 ++++++
 lectures/07/sieve.ml                          |  16 ++
 96 files changed, 458 insertions(+), 4 deletions(-)
 rename {lab01 => labs/01}/expo.ml (100%)
 rename {lab01 => labs/01}/lab1.ml (100%)
 rename {lab02 => labs/02}/lab2.ml (100%)
 rename {lab03 => labs/03}/kvtree.ml (100%)
 rename {lab03 => labs/03}/part1.ml (100%)
 create mode 100644 labs/04/_build/_digests
 create mode 100644 labs/04/_build/_log
 create mode 100644 labs/04/_build/records.cmx
 create mode 100644 labs/04/_build/records.ml
 create mode 100644 labs/04/_build/records.ml.depends
 create mode 100644 labs/04/_build/records.o
 rename {lab04 => labs/04}/data.txt (100%)
 rename {lab04 => labs/04}/data1.txt (100%)
 rename {lab04 => labs/04}/data2.txt (100%)
 rename {lab04 => labs/04}/records.ml (100%)
 rename {lab05 => labs/05}/kvtree/kvtree.ml (97%)
 rename {lab05 => labs/05}/kvtree/kvtree.mli (100%)
 rename {lab05 => labs/05}/kvtree/tests.ml (100%)
 rename {lecture01 => lectures/01}/notes.ml (100%)
 rename {lecture01 => lectures/01}/tinker.ml (100%)
 rename {lecture02 => lectures/02}/html/Length.html (100%)
 rename {lecture02 => lectures/02}/html/index.html (100%)
 rename {lecture02 => lectures/02}/html/index_attributes.html (100%)
 rename {lecture02 => lectures/02}/html/index_class_types.html (100%)
 rename {lecture02 => lectures/02}/html/index_classes.html (100%)
 rename {lecture02 => lectures/02}/html/index_exceptions.html (100%)
 rename {lecture02 => lectures/02}/html/index_extensions.html (100%)
 rename {lecture02 => lectures/02}/html/index_methods.html (100%)
 rename {lecture02 => lectures/02}/html/index_module_types.html (100%)
 rename {lecture02 => lectures/02}/html/index_modules.html (100%)
 rename {lecture02 => lectures/02}/html/index_types.html (100%)
 rename {lecture02 => lectures/02}/html/index_values.html (100%)
 rename {lecture02 => lectures/02}/html/style.css (100%)
 rename {lecture02 => lectures/02}/html/type_Length.html (100%)
 rename {lecture02 => lectures/02}/lists.ml (100%)
 rename {lecture02 => lectures/02}/notes02.ml (100%)
 rename {lecture03 => lectures/03}/notes03.ml (100%)
 rename {lecture04 => lectures/04}/bstree.ml (100%)
 rename {lecture04 => lectures/04}/bstree.mli (100%)
 rename {lecture04 => lectures/04}/notes.ml (100%)
 create mode 100644 lectures/05/_build/_digests
 create mode 100644 lectures/05/_build/_log
 create mode 100644 lectures/05/_build/cat.cmx
 create mode 100644 lectures/05/_build/cat.ml
 create mode 100644 lectures/05/_build/cat.ml.depends
 create mode 100644 lectures/05/_build/cat.o
 create mode 100644 lectures/05/_build/echo.cmx
 rename {lecture05 => lectures/05/_build}/echo.ml (100%)
 create mode 100644 lectures/05/_build/echo.ml.depends
 create mode 100644 lectures/05/_build/echo.o
 create mode 100644 lectures/05/_build/number_file_lines.cmx
 rename {lecture05 => lectures/05/_build}/number_file_lines.ml (100%)
 create mode 100644 lectures/05/_build/number_file_lines.ml.depends
 create mode 100644 lectures/05/_build/number_file_lines.o
 create mode 100644 lectures/05/_build/number_lines.cmx
 rename {lecture05 => lectures/05/_build}/number_lines.ml (100%)
 create mode 100644 lectures/05/_build/number_lines.ml.depends
 create mode 100644 lectures/05/_build/number_lines.o
 create mode 100644 lectures/05/_build/sum_integers.cmx
 rename {lecture05 => lectures/05/_build}/sum_integers.ml (100%)
 create mode 100644 lectures/05/_build/sum_integers.ml.depends
 create mode 100644 lectures/05/_build/sum_integers.o
 rename {lecture05 => lectures/05}/cat.ml (100%)
 rename {lecture05 => lectures/05}/data.txt (100%)
 create mode 100644 lectures/05/echo.ml
 rename {lecture05 => lectures/05}/notes.ml (99%)
 create mode 100644 lectures/05/number_file_lines.ml
 create mode 100644 lectures/05/number_lines.ml
 rename {lecture05 => lectures/05}/output (100%)
 rename {lecture05 => lectures/05}/ref.ml (100%)
 create mode 100644 lectures/05/sum_integers.ml
 create mode 100644 lectures/06/_build/_digests
 create mode 100644 lectures/06/_build/_log
 rename {lecture06 => lectures/06/_build}/two_list_queue.ml (100%)
 create mode 100644 lectures/06/_build/two_list_queue.ml.depends
 rename {lecture06 => lectures/06}/bstree.ml (100%)
 rename {lecture06 => lectures/06}/bstree.mli (100%)
 rename {lecture06 => lectures/06}/bstree2.ml (100%)
 rename {lecture06 => lectures/06}/functor/_build/_digests (100%)
 rename {lecture06 => lectures/06}/functor/_build/_log (100%)
 rename {lecture06 => lectures/06}/functor/_build/bstree.ml (100%)
 rename {lecture06 => lectures/06}/functor/_build/bstree.ml.depends (100%)
 rename {lecture06 => lectures/06}/functor/_build/bstree.mli (100%)
 rename {lecture06 => lectures/06}/functor/_build/bstree.mli.depends (100%)
 rename {lecture06 => lectures/06}/functor/bstree.ml (100%)
 rename {lecture06 => lectures/06}/functor/bstree.mli (100%)
 rename {lecture06 => lectures/06}/notes.ml (100%)
 rename {lecture06 => lectures/06}/notes.txt (100%)
 rename {lecture06 => lectures/06}/queue.ml (100%)
 create mode 100644 lectures/06/two_list_queue.ml
 create mode 100644 lectures/07/bstree.ml
 create mode 100644 lectures/07/counter.ml
 create mode 100644 lectures/07/frequency.ml
 create mode 100644 lectures/07/leftist.ml
 create mode 100644 lectures/07/modules.ml
 create mode 100644 lectures/07/sieve.ml

diff --git a/lab01/expo.ml b/labs/01/expo.ml
similarity index 100%
rename from lab01/expo.ml
rename to labs/01/expo.ml
diff --git a/lab01/lab1.ml b/labs/01/lab1.ml
similarity index 100%
rename from lab01/lab1.ml
rename to labs/01/lab1.ml
diff --git a/lab02/lab2.ml b/labs/02/lab2.ml
similarity index 100%
rename from lab02/lab2.ml
rename to labs/02/lab2.ml
diff --git a/lab03/kvtree.ml b/labs/03/kvtree.ml
similarity index 100%
rename from lab03/kvtree.ml
rename to labs/03/kvtree.ml
diff --git a/lab03/part1.ml b/labs/03/part1.ml
similarity index 100%
rename from lab03/part1.ml
rename to labs/03/part1.ml
diff --git a/labs/04/_build/_digests b/labs/04/_build/_digests
new file mode 100644
index 0000000..bc54875
--- /dev/null
+++ b/labs/04/_build/_digests
@@ -0,0 +1,5 @@
+"Rule: ocaml dependencies ml (%=records )": "\168\187\158\232\128I\157\015\216j\244\004\243\234\011\217"
+"Rule: ocaml: ml & cmi -> cmx & o (%=records )": "5\144\205\021B\003\025\204\145\159\255\166t\136\140^"
+"Resource: /home/flami/Projects/comp3958/lab04/records.ml": "\133\242qUUy2\188\b\134=\163c9\2142"
+"Rule: ocaml: ml -> cmo & cmi (%=records )": "\026zi!\193g\255\238<\162\135s\021\142\001\012"
+"Rule: ocaml: cmx* & o* -> native (%=records )": "C\176\141F\181\127\251\240\211V\156\t\167\208\129\177"
diff --git a/labs/04/_build/_log b/labs/04/_build/_log
new file mode 100644
index 0000000..4f9a364
--- /dev/null
+++ b/labs/04/_build/_log
@@ -0,0 +1,12 @@
+### Starting build.
+# Target: /home/flami/.opam/default/bin/ocamlc.opt -config, tags: {  }
+/home/flami/.opam/default/bin/ocamlc.opt -config
+# Target: records.ml.depends, tags: { extension:ml, file:records.ml, ocaml, ocamldep, quiet }
+/home/flami/.opam/default/bin/ocamldep.opt -modules records.ml > records.ml.depends
+# Target: records.cmo, tags: { byte, compile, extension:cmo, extension:ml, file:records.cmo, file:records.ml, implem, ocaml, quiet }
+/home/flami/.opam/default/bin/ocamlc.opt -c -o records.cmo records.ml
+# Target: records.cmx, tags: { compile, extension:cmx, extension:ml, file:records.cmx, file:records.ml, implem, native, ocaml, quiet }
+/home/flami/.opam/default/bin/ocamlopt.opt -c -o records.cmx records.ml
+# Target: records.native, tags: { dont_link_with, extension:native, file:records.native, link, native, ocaml, program, quiet }
+/home/flami/.opam/default/bin/ocamlopt.opt records.cmx -o records.native
+# Compilation successful.
diff --git a/labs/04/_build/records.cmx b/labs/04/_build/records.cmx
new file mode 100644
index 0000000000000000000000000000000000000000..8fcc2a8f5cc5d780c42382e6aad14c504c197e36
GIT binary patch
literal 990
zcmZ=x%*`>hw6u&gFg9zMx@;c<1M@lt28I#_1}0tx2F7(93=H}V>OrZ=`9&$kEQ||S
zm>d=?&<!q0$;nKLj}J}GNGzIQ@NJ3jg+q@{aJ$@lTetb3;`;>)v|%cOD~l%>tmrCz
z&%fe{&4XNyJ%9J?i9(i7Eu3H=D`WUTyPTc>!&A9ctF=CyL9!t@IWaG7f`Q(2%jrF<
zHaoQ6X?E;7H}~0s1$r<W0*W&8N`Oi-rcFt(^az;u_`>GdvyLUOA}MjrEXha(y7R(S
zmm6zyZd{(2_l@O6U3Vpt5~tF%G>{U>sfLX<B0a@cOIjouze%(rImNN4D6w*a!NHd^
zdHziMvV!}OBuDNKFR29!)F4ioU{I;Kb$6`(f_je&GCti6vUv*@uozA-aLucF!nQ6V
zsm5C+)HUwGqy-BsoPnVZbaiS`USf`0eo<~>iBn>6W->6S;!m4MawY98sr2F6sng1F
z6d2kdGer3cGgb)vm_PNwl*#)Uc~p>`1r4G149^2kM-(fUI4$m2e)i)bB)`EzNGN8y
zoZ(uj9CfubtKL^-00R;3a=RUd9q->=F!hfJJTlw8QPp9A^8zOb;V@w$I1wy(V4Dnd
zHZ&>d6@Y?0z6g>q;*HEL9335iXu$(}WL3%exdn+usc?11Mg~q$b#}<=VCH1z6{i-J
z#2Xu#z?5++BdaS(Ek;-hS8NHh+Xh)}aX!!_n8C)zMleO3ipZ+KCZZ`dgDEvdRtfY-
zacaD=G2AvQWLdB|P$g!DFas=+l@z5Wro^XZ<^T;bgZmF97@*!mD1(P8O4t{b=EW!G
h<ivxN7snf$L#=agI4&2tr`~-gi<eL!Yq0S3Dga9+jE(>R

literal 0
HcmV?d00001

diff --git a/labs/04/_build/records.ml b/labs/04/_build/records.ml
new file mode 100644
index 0000000..5a7aa97
--- /dev/null
+++ b/labs/04/_build/records.ml
@@ -0,0 +1,143 @@
+(** [record] of a person with a first name, last name, and score *)
+type record = {firstname: string; lastname: string; score: int};;
+
+(** [print_records r] takes a list of records [r] and prints
+  * each record neatly to the console *)
+let rec print_records r =
+  match r with
+  | [] -> ()
+  | x :: xs -> Printf.printf "%3d %s %s\n" x.score x.lastname x.firstname; print_records xs;;
+
+(** [compare_records r1 r2] compares records [r1] and [r2] based
+  * on score, then by lastname, then by firstname.
+  *)
+let compare_records r1 r2 =
+  compare
+    (r2.score, r2.lastname, r2.firstname)
+    (r1.score, r1.lastname, r1.firstname);;
+
+(** [records_insert x l] inserts a record element [x] into
+  * list of records [l]
+  * Requires: [l] is in ascending order. *)
+let rec records_insert x l =
+  match l with
+  | y :: ys when compare_records x y > 0 -> y :: records_insert x ys
+  | _ -> x :: l;;
+
+(**/**)
+let test_records_insert () =
+  assert (records_insert
+    {firstname = "a"; lastname = "b"; score = 1} [] =
+    [{firstname = "a"; lastname = "b"; score = 1}]
+  );
+  assert (records_insert
+    {firstname = "a"; lastname = "b"; score = 1}
+    [{firstname = "c"; lastname = "d"; score = 2}] =
+  [
+    {firstname = "c"; lastname = "d"; score = 2};
+    {firstname = "a"; lastname = "b"; score = 1}
+  ]);
+  assert (records_insert
+    {firstname = "e"; lastname = "f"; score = 2}
+    [
+      {firstname = "c"; lastname = "d"; score = 3};
+      {firstname = "a"; lastname = "b"; score = 1}
+    ] =
+    [
+      {firstname = "c"; lastname = "d"; score = 3};
+      {firstname = "e"; lastname = "f"; score = 2};
+      {firstname = "a"; lastname = "b"; score = 1}
+    ]);;
+(**/**)
+
+(** [records_insertion_sort l] sorts list of records [l] in ascending order *)
+let rec sort_records l =
+  match l with
+  | [] -> []
+  | x :: xs -> records_insert x (sort_records xs);;
+
+(**/**)
+let test_sort_records () =
+  assert (sort_records [] = []);
+  assert (sort_records
+    [{firstname = "a"; lastname = "b"; score = 1}] =
+    [{firstname = "a"; lastname = "b"; score = 1}]);
+
+  assert (sort_records [
+    {firstname = "c"; lastname = "d"; score = 3};
+    {firstname = "a"; lastname = "b"; score = 1};
+    {firstname = "e"; lastname = "f"; score = 2};
+  ] = [
+    {firstname = "c"; lastname = "d"; score = 3};
+    {firstname = "e"; lastname = "f"; score = 2};
+    {firstname = "a"; lastname = "b"; score = 1};
+  ]);;
+(**/**)
+
+(** [parse l] takes in a line [l] and parses the line to extract
+  * firstname, lastname, and score, returning Some record if successful
+  * or None if the input line [l] contains bad data *)
+let rec parse l =
+  try
+    Scanf.sscanf l " %s %s %s" (fun f l s ->
+      match int_of_string_opt s with
+      | Some v when v >= 0 && v <= 100 -> Some {firstname = f; lastname = l; score = v}
+      | _ -> None
+    )
+  with
+  | Scanf.Scan_failure _ -> None;;
+
+(**/**)
+let test_parse () =
+  assert (parse "" = None);
+  assert (parse "Bart simpson 5abc" = None);
+  assert (parse "Lisa simpson 130" = None);
+  assert (parse "Homer Simpson -5" = None);
+  assert (parse "Homer Simpson 5" =
+    Some {firstname = "Homer"; lastname = "Simpson"; score = 5});
+  assert (parse "Homer Simpson 5 blah blah blah" =
+    Some {firstname = "Homer"; lastname = "Simpson"; score = 5});;
+(**/**)
+
+(** [read_file acc ic] takes in an accumulator [acc] and an input channel [ic]
+  * and oterates over it input channel [ic] to parse each line and store the
+  * parsed result into the accumulator [acc] *)
+let rec read_file acc ic =
+  try
+    match parse @@ input_line ic with
+    | None -> read_file acc ic
+    | Some v -> read_file (v :: acc) ic
+  with
+  | End_of_file -> close_in ic; acc;;
+
+(**/**)
+let test_read_file () =
+  assert (read_file [] @@ open_in "data.txt" = [
+    {firstname = "gary"; lastname = "chalmers"; score = 5};
+    {firstname = "waylon"; lastname = "smithers"; score = 100};
+    {firstname = "homer"; lastname = "simpson"; score = 25};
+  ]);
+  assert (read_file [] @@ open_in "data1.txt" = [
+    {firstname = "gary"; lastname = "chalmers"; score = 5};
+    {firstname = "waylon"; lastname = "smithers"; score = 100};
+    {firstname = "ned"; lastname = "flanders"; score = 12};
+    {firstname = "homer"; lastname = "simpson"; score = 25};
+  ]);
+  assert (read_file [] @@ open_in "data2.txt" = []);;
+(**/**)
+
+(**/**)
+let run_all_tests () =
+  test_parse();
+  test_read_file();
+  test_records_insert();
+  test_sort_records();;
+(**/**)
+
+(** main program entry from cli *)
+let () =
+  if Array.length Sys.argv = 1 then
+    Printf.printf "%s: expects 1 file input.\nUsage: \"%s <filename>\"\n" Sys.argv.(0) Sys.argv.(0)
+  else
+    let ic = open_in Sys.argv.(1) in
+    print_records @@ sort_records @@ read_file [] ic;;
diff --git a/labs/04/_build/records.ml.depends b/labs/04/_build/records.ml.depends
new file mode 100644
index 0000000..b0ac031
--- /dev/null
+++ b/labs/04/_build/records.ml.depends
@@ -0,0 +1 @@
+records.ml: Array Printf Scanf Sys
diff --git a/labs/04/_build/records.o b/labs/04/_build/records.o
new file mode 100644
index 0000000000000000000000000000000000000000..371a671809e8bfb10c155e5cda45793ac8250f81
GIT binary patch
literal 26096
zcmeI4e{|H<mB8O*A`A#&{INA!tOEviK#lncK>-s58EmwXU&hLw$&gG)FeGtiqCrt3
zpe7AyO6@7G^qjP(Yjd{tG-tJyZQV94D%jd?x@%8!cI`@!)`rp_*miBYi)HV9-+L$b
zUFHjNwEykPnR(y$dH3CS-+e#6zux4*m9;nK1p<acz$`bDDW=8@Z<;)=wujYbrkP=C
z_dHQF_?MF>Z@zXzG<AP$=dU9-U%UM7twVv#%mb(=w)4fv!C9A?Sl^1G!dSnF^%uta
zHWr0r{q-R{2*vuV!?C{nqFDc>s5aJrju-WmK=E;V-1l;<9|f%R_M)&y`>n$2(6PsC
z`q=I*^Xx&*Cy#cWJb7}~Wj$DU_0Hc_gGH(JtM}X!itT(k5<7I`1lSD~bwj<&Ap$!d
z05ibE8^f_Z4;+adT165!fW*{T{|z9q3M7IMf#KFbTh&3Y<}Woj7tgwE7glHeF+~2D
zwd3!BfKQ;wE1;!)vy0w680e~t^?%g*z?P2foCrLy%xfUH1X>lc91Jf+!`H6f6A#4>
z-7sN7Xf!lG)^}~J4{aI)=N2Ap9$?WqtM`DJhpI^w-PH#^pIsE|1I;Mw**oS%Pj4x*
z2jH-Ja9H!K%T{>yk7Vs{fIj$^?MBh+Sbrt9G}d=W`U2b0wTw)ewPQAva?SC&7Y(AL
z`q1kB=8~GnZ!D>~qvqtB%>$fswsk!X*8ElL%1pCk8OJgEy7=rW^gR9p8y&3!Z+l1o
z0iND6hkIc!q;NhRApfVzVC;loDoy996guclm1=K{#QF|;0|%#B=qUEembs+u7+8Bs
ze^x-RSY1{KyDYOj+hsG)y3250zrW5}nyuyYXWdyaE+(g(|KQ7nyiS^&4<DqDZqN47
zQKyf-4Jk3*2ju!UYscrHanNVs+C7)v28T6kYfj!>vbwLigoie)c#{(VmO-x{c<Fnp
zK9A<O$FX~_#U-Ke<WF&)U@splot!6kz<N;?Tk=L%cC8KDF)F7O_R-E4!v`l<$2+{q
zKDk~E^LTp@ZMP%LuFQQC){LP**LqwYVYF<ojV*fx8us7{=+6>do>toBY3ISPU83x|
zx)jzMuzEW#Kli~0R?$5-9JlLIJ}w)D)*i5nM|GIirRTO>ZYzWZDGfH}7{AwB|A^6m
zBY1LbT@2Z0H!t0><<5uie&G4w>f8Jw>-+!t3M26tt*P#OwZrJ><1nthqsr{j&)$<O
z?l7dpY=$xE&gYkDK6`Uw%$~+!Zf|zxwynZ`!BTwzPS-GAs}x#vtbB4k%DAU;m<mBp
zn$G6gLfN^#Ow9HA*pjiX+1|Wz7DTu-!U+!b<eK-M6%S8N|0{9&JJ&0d=ldQQqOtyE
z(7YU{{l0_Z)bW0<0itI;;PD#ZgVla*_CzxXjX1l-;QiGNle+7}y&l+*J=gpQ#_8ns
zKnhYg9=U%~(a8?*J@T#s_?qI_51rv%ZO1pS_p^4i<9do~K6R(({8-<cFqEq8$cgp6
zt}=HXf;Ij00&osFy#QPgpI#txCV}Xg1WL{%P<1AO>N5$%&LmK$1ik|k!o6bJIWmE#
z*6)r_i|srdfKzO6*26s@bgE>3{Y31c|2-KrX4WJBWYxg>0XGY$m+WQ9)8Amhl|0>G
zdCSF3zFMambN3>=X*%_`K&}r~jr~$5`N>oKE?9ew`O~>zp$PWeZcN~>&S!~A;Skz|
z0p^1j&bt2G`k=ecpf7j1NjuJvZ?5+A<H*ABVaJ|U@vZucb53059nDK$6G?V=CL1&9
zNNJ?GwJjNGZSU;L6i;8DPHawI6PY_N9a)OJJ+U>peC~9w*c9WVH;*{Ci|af01In|$
z6QoDkly~AHuckA#hU}SYR6o5(88n^^*VB~9B+802-5D=`iZ1t#D(B}H);F)bDFPmy
zm-ZZaj-R|QS9VkN=3+YFdYao3?M=y4n()*UG-2A4O^EVY4%=6Hn)dyY6tG`>?eghg
zEzkX!e}Si%(^O4%K5$z5n|V1MaJ$m2TRYPo?S|7W9b1zrTpxV=g?B|5*bnKgt(le_
z{<<fztqs%${Pb|MSx;k2q77<3#qXOFscleQkmb<tlWsRtXON;AYnAv?_P<0~+#e^%
zk1=d-WUc3gNM&SGTcTz1>s0%{tMu@Knyp#Y%RJj&8c$SX*6-F1@H@9t*#&1q*5t+C
zp=7o_l<$_i%09sY(W!pxi`M%uK6-0g(}@TTmPl!N35lJu9(>EE{Pl@cCR@HTv8mCM
zJ7rz?XI-BBm938*Nq{5vo3}{7x0f-+Z+!Uq!%yCipRFD(pPk35e;=lXasTS|fZP3k
zxnDi^>w1(O_o;ksf7T9F?p9Uq{o0w;=hM%6ys~_Dm?%3qpZ&<|T(g%kh0{q&YyCHn
z0xs{@4jvzWL-JXFt9E4h`?S-Zb&Sc{={Ik#Rd(`xNF^IPQcdaNt!-A|l=J49?BNSL
z_R}V>o~%6yO0!>BKHDE;7e}>xKrx<w*G-v(n4YcDnXL1TJzuw}^lPV0<0WRu9EV48
zGF%KxdkDaQD2w@6e}!O}J|WW6a-^SA`7(`{E8?}2!ScI=EtuXf(z)biKFTju^=&*u
z`4vijyO2kHvqid4T}do}OM$Q{G-E;rikO8a2$Gm1TW1W*Pw+rMVF=6zeE6v1x%^Nh
zY(Tp!M44RjuZw(?Unk1vlHV@mbLH<pL;kO`cQeN1DxVSMF9HAIT}%l4D~iGR^TzA2
zkOe{TpD}HMVLD%>n}niV^=}vX=#L9UI+y%xp&#WlXOQ2YT}+HQkH%4_V4xzWUsebi
zTaQTRvg=BbkMc!luxq=L-!0N}$=~iMHU>G4Z_VdeYRs6>f$f@O`!fV3pq~&>uznV@
z)2-g1$;%T)gX{v(TL|$!E=chL(2H6z?@E!k5adzq5l|CZIby~GCTe=}dMY5@`_SP4
z_I2UP39~zB_FZ075U7Rp;plka1QhC75DxB!bjyO{LF<bJ^}(i~d3|AYWdMBn!X?oQ
z^N<gIwmZKL<))3!h{9NiEsq&2w{L52@pF)0xL`bQMV{GTRP<7C0F4<5^(=+>cvV9X
z-@uuh>w`1E{7Z_Cna(^DF_HWp9CHl|_61+aGo!I-_ZpZpP5TxcHBBHNUNDhopQV7F
z8IT@d*O~uBz-$~?@J`?as4KjnA^(pM53cXd2mJ$PejteLsk)`NxX6}2o;N#SUN!U2
z3%-hS=XK|!o`L9*yj^)F`soGJ1E3GuJraz79Rs0A{%(+~s%Z&^A>A1&%*S>_ULG-_
zfH}S}{6yX^$RCZ>=Wh&{q05W*2f@$gKq#6I_LMw1@ArXcAU_11gpYqFO7`WYGfi!+
zoA7konQCp%G~<yt2d5ho?Uwx-o`v3I*1(@JYrJ!`83RVg#i?YXDUOd1Ab(_%o9Ezo
znwesnp+1()B-5EVRT6J)PbX6uvm4}YGjaIK%9-v-J;k<6XCjq`3K|4Yccikqpr~0P
z@<`m22xj%DLQ^1rt@T4ZUgvqia|Y-;0?&HAyyA||WILGaG1ZoA<6i`M&Qnb^&t`SS
z<7=&B)7HOe_io6WX7bIg+E2>XCZXT9uQ=M=)xN;g3ZCj}k0;vN;@DQauP70DjU8K|
zSd!guE);pT(b*grAMhlQ+mfr#&~6oaI1Mhv@Sy#MuL~(7aPJxu=ne-yI%8_cj$Poh
zDep;)*Azt86ohIDqIoR^C94XeD+@xnMpa`T1RP%&qVQQ~kBs>y#v2MEd3RvJ$es4P
zt{}RqAOfXf9zu2x%0TD=|C(SXP!L{)Sys<}%z*H5{902Gz8MvSLD|ZJ@bv|StMD6T
zQO{wNfw0c%iDmUv0DH^k81p>F8wv_n7erP-J8r_LFpf$KZ?oUm7erPS6k6M&APQ@M
z4Nu|snu5Z-W-C=|zd;GhV*N3a-30UB1UKYyJFtFSlQ6uEUr_&gul`Tk`rE9w4Y_pg
zr*eZB2cO8c3H!`GCWg2MKBn8NtpyH8smx<&2h?@z^qIlhbJu@>@4WY{ZP01lUaazT
zA>X_MPpVH1c%_#s1noJ`&G96~1w3Wrn1kCGdwwKjBkyr4p5xq5Y?DC~aj~&)&7j^Y
z#cN5vPVqa4qmO0SViUpaIOe=<#0MEr+)Mm`;<yt6I@ydW{$=9F6}Mv<<l+3{ghM1B
zRs5&K@%$viFNhD}1(FDVw8ud+pm@;g4Vrqz&nIp#%!Hmf#7FT0MuZaL!-`)=yh`y~
zh<7Ufcf>=Aw-Fy#1L8j7!-{{3_<-V15|1f9L_Dha^Tg}ajqA(As}=tV@rdGY5jTqe
zf%p+MHN4Bfpczs8Jlo$vGpIOTx8QhdQT%G+F~ye?FH!tv;z!OAoePH>iH|6LC-HrX
z-%Gq(@jl`)#rF{p<-7HMnfSQ4=Rk>X5ZCvIFA>M<QW;)j{ffUy{J4!LOZ=YrsNw-z
zKA2svxkQ+FRLNgPoY!%dFD726+Pjo^wT)TYn46d@{kIbzRJ?^a?x>RC9^##fKSI1$
z@y`<PR_nu;h#S?9&l0b<@np^4BYr@&_s7ILmHZLny^8;ic$L!g7vdvIex{WRnjyu#
zXB%)HQF^W*`EJFpAwI7B5F_58{IG%ekkXSRzEANCas51MC-E^Qzn6HGs`m@TBZ?0b
z?^W~t+r*D6`5&?#CI33{u;Ryv53BX<&%}Ea583))y;A%l;`<bzPyDdrmBdHYx_txj
zBT9Y^@d?Ef#KTHYC-FLUK6;RNgOY!Yc(>x8CqAz9e1&*K@oy53sqyv-@hZi~hz}|~
zza&1O_`Adlm7a5KzXr{i;ujJ>toY@?!*Jfw;Tp^B$<4{S75MpZ-N@^qy-xs%F5-2h
z%HAUY-%EUuxV;|${v2^$f4u7_W4=$k0b&gH`W@n5K-#<3v^e|q4$1TQd7E<1h4F!Q
zj*#C5sVNJIH_-F@8j_Cz&!vAI>#_be#@>5C865YhpM$+8gTy1m2Pq>-@zcb^RK(tk
zLEcNi(f@qELgMDf#My4<Z(Gi($rzvG=dyn)jN@E<z7H?+;n(@_+kAMF5AXEh_xbS8
z`0%g$@IyZQ7e0InjE`LY!TFqvFY@6le0Ur<j+0>;Z}vVAy6r9>`G<V?<39W;AO3aA
z;ny$)lVb#rzHd29MzV)<-vE9djKdJ|?0VLi*xD9vPi}6GZ%w4{G&Y&olom;T^s!`#
z&CMpO+~i_6xyVgcy2%PRS?(swoMdT<n_XI>^GlU{iIaBCE>(q<Zr9FIw``fKxXi7$
z%x!X++r~22U1hFjcrlNjXWy2)n#)~P<*tzxZWAh8;R+?}8d>4?T7_$5g==J`Yh<Ns
zWToraO1Gj)x1vh7qDr@-MQ%llUCoQ#_AYkYTjiFma*eEVRaLpFmMCG@swJ*ww?S@u
zs#H>$sEWFts&YH5)GfQnwRo{>;v!eoV%LntZoP|Dd)#^#D^;#*7P<AROlK@Fa%)}W
z+O$YD&oyF^QtbAgD_g0OuA?g5dQ{4-royeJ!u3<R+jO^@a<_HmZrjUUpO(26mn&7S
z6)NQ_E_D@`y18YltXog1YjUaE+EUjwxQ#2mDY+RQ|I78Nv7;%O1Lt^H9xqobpM0(#
zFE4jZJ>@M0NVrY4&;EhBonp&T7LB2JV^=D*%~hX$Srac;<B%+;*BOxQI>~vn5HDZs
zImxTS^)9@Wh*zp5%6Y#KFH^Hry_o=qxjmBd-a63>Bgl5fvePY_8{?^t4tVzwUsd~w
z>uYM`pSbbHwJX=f*VSBKyE1M?y>~j|F#GDK*?adBub`7rJki<Nw#{o@yb<54Y;LsW
zyaf2Nt*xUmp3Wp1=`w;^LPA!|J5Ju!m1v{G?)G?18ee_In-i^VU8$ty{2I!8J=C1)
z*b0i_mDJ{VWtnG!Bax%bo%WSdytIlgTj=E#yxWU+G_$gf&P=?N*3hf~>;{gvwYDe0
zwcc2Z!xd6vTSqz>hux0t?McsclBY8_rRd#Qd^5ZvD^q8IWP1koMA{3i*7nv+Yoe|7
zUaz(B^tN<7k=lH>munsEjZ~~UkxC`D#W!_ywKv6+sZ>YGO7W$FoqEakCI{MSs$p{q
zb~I-ao9w$u@3}kf2f^!C*egRXsMgX2Bk~@>@qHu)d|dDld|18<Aq3<*;KTf3gb<ML
zgb(w_5JEt{3qH)f=ii<^SeE&p;TQwTKLQ`-{K7-)Uq<&|$nO*K>jmE~_}2uNc7DT$
z+aDf4dDOp4==l}Nqu+3gD%<%xp-0yHu8_y~ODu2b`5x+dRPb|%W4+Q3R|xrDAzvvt
z?rmfJpAh^bf^QI9+J6UetXJC4_w8usMM6)T&?D`?OX!jIe@@6t`@bMKzVBoEza{v^
zf`3o&O9VeeT-*O6A^%Y!KPI@e|7Svvv_C}8J<t!*{__Q&E%Zl;qdjuGUG2k{`0$m2
z?-KgA3EnCAX9Sn>2LzY$|3zH4Yh3V4h5jHm2m;E>@yzcFFk9-M<s*Nw;L`seBaV^u
z{|X^5{eO$#AA>SHel`n^?=YFS5ywc{nHKVLoZK(Cv~!2hBkg=f$V)rFA$UaC^QzFZ
zQ}BQH;Xm`?M+M&{^em+3UD#jv2!Z{uNbos=R})8deS)tN@}CmCUdZ<gevgm*GeTb4
z`G(-Q=ZEcFH3bq7&>rcZI>DtLe13@m+dCINtmj@K55J$ta(;h@^0L4FQRul`$R8BE
zNbtix`hP3rrTz)Q=LtO*Ooaplv}Zni*#1J|=m%;4av?AE<8x39sON9t!+IJ8j|z^@
zK{06kj|q9HpWh3h{sr)1{m%+{%wvAQNB?(({1rm}6~P}B{6|91BZB`?$V)r_BKVa;
z{-O{hAfSy`!H4afO<eooav?A6yh?CsCq940fO@2z8-;u?<Z->tg5%x_=G%oHIsSM0
z@I5~Kb3XhFKKv^_{CUB52|M%Qxg!Q_?;iND{nG@O<94>-cx}n@xBBo#;@Dq3LcUvY
zyyj#*_X|DJ|6deb`tvJ-%Xa-l=)YR%|GD6g3;wpyGa&dM1efjoAEBp2$mdUo1O#la
z99Pqbqn~BFt`_pWkjH*lB6z9bYXvV8JTACwR}*opSGMae!DYMnJ@rD6FBkfE2>r5M
zj|x4qU0)UQvR%&$ULo}VtKgM_|EJ)xT}O!PcKt?h*{(u*uD%d-OMB)DzDU$tMI80Z
z@phdLU+u%!3%*O}&j_9t`~ku57Q9#R4#A%kT<U*?IJS3|kRKHsf1||X?RBANui$SB
z`LN)>5nSqd&qvSH8BiDk+H)R!xZVQ6rJj!wNB>KEqC$R(&~vrmQqOfhdR7a0Jk_v0
zb%IMh4L*9d2zgv$S<hX9OFa+y=;;^oxU{gIy@E?UU-Z%QjF88vz<Qn)T<SUKqvwZ0
z9=nwFye7ER^OldE-wJs=WIg{axYTpbOb~*g`+XL196xx-dOjk!)HB~lPo<FmjL>t9
zkeBON+(*92N50QT{xKi<uL}9a!k*^@?-6`N=y^!+9}E73;BN>$vb}E!dD-3o-fTcX
zKg;!Y3UTZgc^<hyaA&<0yc5cBe_bm0y@FpU_-6$#7hJAy@cRoJ&>s2RW3O0$?h<-%
zZeqa4I=Fsvh|mFYw37qxgGG*dIMmSra=b3$&_V~uaXshILkGw+3?W7zVnB|5<1k1E
z$Z`GW!24s7-@_2%Q94H6E%*_^y}h>{I4(H)p9AlkMLp8aLIe;n!sm4yct5R{uM+au
zFB}F1$9c+u_ibY~b}8@w8xiuzdA|$q*JXL$|5r%Qf0$R(_$bkw($$Ld{=b;wy#KF3
zao+#OG1trc|3;NOUsv(-D3)i=&z+d_zMK+j2Xo#R$T9N+I1wN;D0$u&$T7?Jl3cfv
zuOdC1&+;QAH=yK)C_Sz?w~L=Iu^w($nCf93p)|+Lxm{5u&vtUm^4%m?ujF~(VT<Ao
z^!$R$v7RB4>rwLiD1AV2-gh{n_!y<R-K?MY9eVrty!nMLjF3Go6tg_<JM31R{XF8s
zk0{Rj6gg)75xkg!FrnmmpCa#nW_hl6fXXrF{fqp3hB?b0QS!`rzqgj>edEk|A7njV
zv_W9b&p~<>=jR=RiXWylKi^<IypL^E$@4zQam6Pn%|EnYJ-iQ+_ro*i_VWID=Da_$
zj!sm}d4D9w%!lye4nm8P=Y5kLvpoM!U_i^0o?#z8ra14v99Nv%#lJh?dbwR;x?g6_
z`<pms&UQwXJpb;3e+R+xtiRevp7U9r_k-3e`6}`Q*U$2UB*)Jym=6#iR(jYEqly=j
z{xQY5UHm%{*3a@BGiUoFq>p(OrRx>%rZm^X@;rVxW<Eyp!%EL#N{8wC3gz(>H;1mz
zB8tx@UZVI##H$sbPP|U>ak@@zQ2ZyvI~9MCINvX`oqLH7D)|=T!-_8_KBD+;N{=eO
zgVIM7@22!|#g|gr(0vfw`40P8@wbRa6u*J=lqlX$^3{rW5$F3{uD69a-{&&Fne=xm
zJu^wZNAW+=_#ROFSHuSu$NiQVh815={IKFr6F;IjuOkzR&m{RU^(VKB*Qu!DJ+!V>
zDZYq!Oz{Zudc_|l&f|;g{Wm&abSwE6i1#Y~Y0|S#@ivklQv4~BKcM(*l0U5YKal*G
z;;+(qdR+0Zk^F?>50HF_<}tVT<HRG1ze(2_Rf@L~k14*9c)jBMKR8+xAEoQAZp9xV
z-m7>g@qLQ_l=zV1bBP~Nd<OBuivOJWnBp(+^|Rvl6X*Y%!~VRIco-k*L16xKy5EQ>
z{sZDAikFj~YQ?)qzE1Ht@dm}0k)BS)r;&V*;@<D|;Qm+fXR#p=h7|uM@e##uCqAZl
z4e{fOzvrpXZYoDHG|~J0Cj4eP><KXEd*%|w8%a-0@jl`aicvSYz>*b;4^p~basGY6
zF2(u&m&>vKI`aRkN`8>|xZ->t5+Oga9=?C5RlI@bZ;Rriv<?g^K0@p53ySmk`!&V+
zylaZn+qS~yCx|mCFK*$ZRI&~JH(e6`=OO(21~|msQ>J)RIt}R#`;Y4y(;3)eS=`={
zNfxiVW&Ks&CO1zy*%G%qtH==_Fp5BVYy!C@tF4-j^nQODCRsV$qkv06b(VMs^~=1t
z?gB5y(<|0PZnnSa$DAvOQ}-gWp@-Iw=!HzYn9DPr4+pvGAFA^tTF79mAM4=qg<iJ7
zcTvc6{X=s}Kt<HuS&Hvike#0;-oY@Hk0{Rm;~3|W)`>+%-)H@|Q~5kBBm$SOQW@NS
z7F`Dix%?MScoO{l3;l;>xjg$1ZC6#;f}wdfGWFDtc-gfTKDs<kFYS9Q*-(z(#=J}O
Y&r6-^D}48ot9)#eSE7*%QmlRbe|~Jf{{R30

literal 0
HcmV?d00001

diff --git a/lab04/data.txt b/labs/04/data.txt
similarity index 100%
rename from lab04/data.txt
rename to labs/04/data.txt
diff --git a/lab04/data1.txt b/labs/04/data1.txt
similarity index 100%
rename from lab04/data1.txt
rename to labs/04/data1.txt
diff --git a/lab04/data2.txt b/labs/04/data2.txt
similarity index 100%
rename from lab04/data2.txt
rename to labs/04/data2.txt
diff --git a/lab04/records.ml b/labs/04/records.ml
similarity index 100%
rename from lab04/records.ml
rename to labs/04/records.ml
diff --git a/lab05/kvtree/kvtree.ml b/labs/05/kvtree/kvtree.ml
similarity index 97%
rename from lab05/kvtree/kvtree.ml
rename to labs/05/kvtree/kvtree.ml
index a1e6ea5..aac971f 100644
--- a/lab05/kvtree/kvtree.ml
+++ b/labs/05/kvtree/kvtree.ml
@@ -82,14 +82,14 @@ module Make(Ord: OrderedType) = struct
     match t with
     | L -> L
     | N (k', v, l, r) when Ord.compare k k' < 0 ->
-      N (k', v, delete  k l, r)
+      N (k', v, delete k l, r)
     | N (k', v, l, r) when Ord.compare k k' > 0 ->
-      N (k', v, l, delete  k r)
+      N (k', v, l, delete k r)
     | N (_, _, l, L) -> l
     | N (_, _, L, r) -> r
     | N (_, _, l, r) ->
       let (ks, vs) = largest l in
-      N (ks, vs, delete  ks l, r);;
+      N (ks, vs, delete ks l, r);;
 
   (** [of_list l] takes a list of pairs [l] and creates a
     * kvtree in the order specefied by the comparator [] to compare
diff --git a/lab05/kvtree/kvtree.mli b/labs/05/kvtree/kvtree.mli
similarity index 100%
rename from lab05/kvtree/kvtree.mli
rename to labs/05/kvtree/kvtree.mli
diff --git a/lab05/kvtree/tests.ml b/labs/05/kvtree/tests.ml
similarity index 100%
rename from lab05/kvtree/tests.ml
rename to labs/05/kvtree/tests.ml
diff --git a/lecture01/notes.ml b/lectures/01/notes.ml
similarity index 100%
rename from lecture01/notes.ml
rename to lectures/01/notes.ml
diff --git a/lecture01/tinker.ml b/lectures/01/tinker.ml
similarity index 100%
rename from lecture01/tinker.ml
rename to lectures/01/tinker.ml
diff --git a/lecture02/html/Length.html b/lectures/02/html/Length.html
similarity index 100%
rename from lecture02/html/Length.html
rename to lectures/02/html/Length.html
diff --git a/lecture02/html/index.html b/lectures/02/html/index.html
similarity index 100%
rename from lecture02/html/index.html
rename to lectures/02/html/index.html
diff --git a/lecture02/html/index_attributes.html b/lectures/02/html/index_attributes.html
similarity index 100%
rename from lecture02/html/index_attributes.html
rename to lectures/02/html/index_attributes.html
diff --git a/lecture02/html/index_class_types.html b/lectures/02/html/index_class_types.html
similarity index 100%
rename from lecture02/html/index_class_types.html
rename to lectures/02/html/index_class_types.html
diff --git a/lecture02/html/index_classes.html b/lectures/02/html/index_classes.html
similarity index 100%
rename from lecture02/html/index_classes.html
rename to lectures/02/html/index_classes.html
diff --git a/lecture02/html/index_exceptions.html b/lectures/02/html/index_exceptions.html
similarity index 100%
rename from lecture02/html/index_exceptions.html
rename to lectures/02/html/index_exceptions.html
diff --git a/lecture02/html/index_extensions.html b/lectures/02/html/index_extensions.html
similarity index 100%
rename from lecture02/html/index_extensions.html
rename to lectures/02/html/index_extensions.html
diff --git a/lecture02/html/index_methods.html b/lectures/02/html/index_methods.html
similarity index 100%
rename from lecture02/html/index_methods.html
rename to lectures/02/html/index_methods.html
diff --git a/lecture02/html/index_module_types.html b/lectures/02/html/index_module_types.html
similarity index 100%
rename from lecture02/html/index_module_types.html
rename to lectures/02/html/index_module_types.html
diff --git a/lecture02/html/index_modules.html b/lectures/02/html/index_modules.html
similarity index 100%
rename from lecture02/html/index_modules.html
rename to lectures/02/html/index_modules.html
diff --git a/lecture02/html/index_types.html b/lectures/02/html/index_types.html
similarity index 100%
rename from lecture02/html/index_types.html
rename to lectures/02/html/index_types.html
diff --git a/lecture02/html/index_values.html b/lectures/02/html/index_values.html
similarity index 100%
rename from lecture02/html/index_values.html
rename to lectures/02/html/index_values.html
diff --git a/lecture02/html/style.css b/lectures/02/html/style.css
similarity index 100%
rename from lecture02/html/style.css
rename to lectures/02/html/style.css
diff --git a/lecture02/html/type_Length.html b/lectures/02/html/type_Length.html
similarity index 100%
rename from lecture02/html/type_Length.html
rename to lectures/02/html/type_Length.html
diff --git a/lecture02/lists.ml b/lectures/02/lists.ml
similarity index 100%
rename from lecture02/lists.ml
rename to lectures/02/lists.ml
diff --git a/lecture02/notes02.ml b/lectures/02/notes02.ml
similarity index 100%
rename from lecture02/notes02.ml
rename to lectures/02/notes02.ml
diff --git a/lecture03/notes03.ml b/lectures/03/notes03.ml
similarity index 100%
rename from lecture03/notes03.ml
rename to lectures/03/notes03.ml
diff --git a/lecture04/bstree.ml b/lectures/04/bstree.ml
similarity index 100%
rename from lecture04/bstree.ml
rename to lectures/04/bstree.ml
diff --git a/lecture04/bstree.mli b/lectures/04/bstree.mli
similarity index 100%
rename from lecture04/bstree.mli
rename to lectures/04/bstree.mli
diff --git a/lecture04/notes.ml b/lectures/04/notes.ml
similarity index 100%
rename from lecture04/notes.ml
rename to lectures/04/notes.ml
diff --git a/lectures/05/_build/_digests b/lectures/05/_build/_digests
new file mode 100644
index 0000000..de7371b
--- /dev/null
+++ b/lectures/05/_build/_digests
@@ -0,0 +1,25 @@
+"Resource: /home/flami/Projects/comp3958/lecture05/number_lines.ml": "n\239\025\\<\011\028#\000A>\249\204\182\170r"
+"Rule: ocaml dependencies ml (%=cat )": "\210V\221`\251\191B\198\232\184\146#\164\015\176,"
+"Rule: ocaml: cmx* & o* -> native (%=number_file_lines )": "R|\021U[G\226zs:\214\154\1910a\177"
+"Rule: ocaml: ml & cmi -> cmx & o (%=cat )": "\025\244\2354\235@{lBk\211\031$\237><"
+"Rule: ocaml: cmx* & o* -> native (%=number_lines )": "\180K\170\211^n:g\196\220\030 \233\127*\149"
+"Rule: ocaml: cmx* & o* -> native (%=echo )": "\196\206\211\186\185&f\154\217p\215\195\248p\1485"
+"Resource: /home/flami/Projects/comp3958/lecture05/echo.ml": "h\001\167\215xe\171\150p\151\004p>\004%\181"
+"Rule: ocaml dependencies ml (%=sum_integers )": "\207\140\220\182.\186\127\200\228\226\152\002dAJ\134"
+"Rule: ocaml dependencies ml (%=echo )": "\237\219\161\187\134\217\180\030\148\240\0166\176W\2222"
+"Resource: /home/flami/Projects/comp3958/lecture05/sum_integers.ml": "#b[\196\162u!\202\205~\135\239\025i\195\215"
+"Rule: ocaml: ml -> cmo & cmi (%=sum_integers )": "\015x\165\015\217\024\189(\143ud\232#\158Um"
+"Rule: ocaml: cmx* & o* -> native (%=sum_integers )": "q.\011\170\190\228da(\218\172\231\192\136\236+"
+"Rule: ocaml: ml -> cmo & cmi (%=cat )": "\248U3\213\015A\001\180 \023\180>\223}\142\188"
+"Rule: ocaml: ml -> cmo & cmi (%=number_file_lines )": "\218\210>\023\150\016u\174\235\179&6\234\147\248\016"
+"Rule: ocaml: ml & cmi -> cmx & o (%=echo )": "\1770\n\142p\235j\205HX\163\208\005\133n\t"
+"Rule: ocaml: ml & cmi -> cmx & o (%=sum_integers )": "\024\022\151\178THu\229\251\017\175G\230\179rD"
+"Rule: ocaml dependencies ml (%=number_lines )": "\023O8\158;\213,z\t`\236\204\250\168\140W"
+"Resource: /home/flami/Projects/comp3958/lecture05/number_file_lines.ml": ":\233\133ai\245 \000\199f8\022\140<\199\174"
+"Resource: /home/flami/Projects/comp3958/lecture05/cat.ml": "^\135\t\199Rr\210]\197\127HpY\r\147\170"
+"Rule: ocaml: ml -> cmo & cmi (%=echo )": "\224\\C\014\150\004=\191p\132*-\017jj\242"
+"Rule: ocaml dependencies ml (%=number_file_lines )": "\142\151\154\251\184\227\201\196\243\150\003\242\017\222\229X"
+"Rule: ocaml: ml & cmi -> cmx & o (%=number_lines )": "l\154\251\180\134\026\206s\139\030!A\155\t\198\161"
+"Rule: ocaml: ml -> cmo & cmi (%=number_lines )": "\029\1849 z\004\n\025\253\155]\017\244\252\141\129"
+"Rule: ocaml: cmx* & o* -> native (%=cat )": "j\019\018\218,\202\215\161 &5SE\134\223/"
+"Rule: ocaml: ml & cmi -> cmx & o (%=number_file_lines )": "|\132>\000@\222\195L,\1271\1424\141wJ"
diff --git a/lectures/05/_build/_log b/lectures/05/_build/_log
new file mode 100644
index 0000000..57df0fc
--- /dev/null
+++ b/lectures/05/_build/_log
@@ -0,0 +1,12 @@
+### Starting build.
+# Target: /home/flami/.opam/default/bin/ocamlc.opt -config, tags: {  }
+/home/flami/.opam/default/bin/ocamlc.opt -config
+# Target: number_lines.ml.depends, tags: { extension:ml, file:number_lines.ml, ocaml, ocamldep, quiet }
+/home/flami/.opam/default/bin/ocamldep.opt -modules number_lines.ml > number_lines.ml.depends
+# Target: number_lines.cmo, tags: { byte, compile, extension:cmo, extension:ml, file:number_lines.cmo, file:number_lines.ml, implem, ocaml, quiet }
+/home/flami/.opam/default/bin/ocamlc.opt -c -o number_lines.cmo number_lines.ml
+# Target: number_lines.cmx, tags: { compile, extension:cmx, extension:ml, file:number_lines.cmx, file:number_lines.ml, implem, native, ocaml, quiet }
+/home/flami/.opam/default/bin/ocamlopt.opt -c -o number_lines.cmx number_lines.ml
+# Target: number_lines.native, tags: { dont_link_with, extension:native, file:number_lines.native, link, native, ocaml, program, quiet }
+/home/flami/.opam/default/bin/ocamlopt.opt number_lines.cmx -o number_lines.native
+# Compilation successful.
diff --git a/lectures/05/_build/cat.cmx b/lectures/05/_build/cat.cmx
new file mode 100644
index 0000000000000000000000000000000000000000..964d9cdad41f17c0d36fee19fec99babb9444d05
GIT binary patch
literal 218
zcmZ=x%*`>hw6u&gFg9zMx@;c<1H&pHmI2}%Adcl=V9;k!c1|o|VO+q%<gj3YT5w59
zPG-^sgG$Y<yJPhi)O%cz@#$`m&0Da5g>!;|`MfI&zlAXM3n`wQdxiJ=y9Em@oPkzk
z=9Q!t<t660<rn29mN+FAXC@a<Fo-{GBFUAsx1`dCYo|^t$5CYC?RFS;ynlDW)ITEd
z$ZYpURR<uLFmb|y2l~lC^MDT0OHM3_H!?SIbaVhB2Z#I%c^k|pU-p_SvR_?A<ctFV
D0lZMc

literal 0
HcmV?d00001

diff --git a/lectures/05/_build/cat.ml b/lectures/05/_build/cat.ml
new file mode 100644
index 0000000..0ca6d82
--- /dev/null
+++ b/lectures/05/_build/cat.ml
@@ -0,0 +1,25 @@
+(* display content of file read via stdin *)
+let rec cat () =
+  try
+    let line = read_line () in
+    print_endline line;
+    cat()
+  with
+  | _ -> ();; (* EOF return unit *)
+
+(* similar to main function *)
+let () =
+  let rec aux () =
+    try
+      print_endline @@ read_line ();
+      aux ()
+      with
+      | _ -> ()
+  in
+  aux()
+
+(**** build and test ****)
+(*
+  ocamlbuild cat.native
+  ./cat.native < filename
+*)
diff --git a/lectures/05/_build/cat.ml.depends b/lectures/05/_build/cat.ml.depends
new file mode 100644
index 0000000..832688d
--- /dev/null
+++ b/lectures/05/_build/cat.ml.depends
@@ -0,0 +1 @@
+cat.ml:
diff --git a/lectures/05/_build/cat.o b/lectures/05/_build/cat.o
new file mode 100644
index 0000000000000000000000000000000000000000..ef4132e813a8d9385dd37a6f025dd68b80fc0605
GIT binary patch
literal 3224
zcmchZO>7%g5P-*ZXieI<OVxv`f@%asEzreji<^o+yCjYy8G@Ps1qp4|_Bz?Jwj+B%
zPKDGUKq5qi2=&k-$4XpsLODh%hhDk$z@ZWxkcv=yKyW}cGjC_SPp=L_LSiKE%zSTV
z-p{`G)|aO$rCo^xh$P@;h&`bI7aor7f-(y*2K%6L<?550_xt_VUU=(R=atHp$DYH+
z;#{%+VQyxvk=vqLzfin-#BTAcQm*{T_o+LhjSWR_G&XKrd_qMP-@WtQ{v)4K*8fs}
zTgHE)y#73OT3&xiskNVG)*A&irt;d4@!+EYUwm9fdlTS~y_6BlLy?)-iNhWah*SR2
z;_yKXy^fCt9>5{A>xLf~{%OO1*6_`C@(cLOytfRKsLNIka;O(FJ;f(d*MMqlTE`$m
zafg=SQPj6y%tFl#?IsT3&wjuED%$P`J@}PvY=hg8jnPV0Sp#B{%j$`bgWQm~bRH5t
zD{*+=p40|zsw{Hqi{t`5-cDPS>5NOy)NI<CPN!5%f!a`ZilG{^ZY2tIM#qwsz2~C}
z1a_7YxYr-nnjCV1=o|p-ejwap9_hIGh%%FqijlI8GtV0Q6#5n<4GKVWvWAT39pncz
zuGR;c&wK$jiSQM)ss4nb@#ACWg%~O8YsC$S?zcN|JVIFiLAi~H#<|T+>K&o|8~%pH
zkKjTN;|CQ_!0zZpa5aFViYEv2l!iR=M{vFi3~ot7&20uw%Uf(XO}G0#?sIhAYFBe<
zyPs4IWQ`B3x*NJq)m!vi15|6*JrlX1bMnmTK?oik^v{Sd+Fq<Vopw9yDliw;1HWo_
zJh$!ye#>)Coz3eF%N@TJI$jH-s4;(5H99pn2pmibf_Ba6hHfpI4-MOEg`E{}rYp1O
ziWO(JRGOQbcjk-dDpO9B>$m*ScLV>Dr+ms$v%yXVK+RYOjgH&&Lbn=tvYbcR7(qRT
zzrXn4Kdte!#^sKpc)9~6{tYdDzs5h)xL*GYjqCNVYJ60yv#D{t{twJ)ymaTwcx1m2
zr%!|MpV20v@gKmS@OuPNi0l2{S2W^!zj80ocBXX@$+AJ5>WCEBAg+I^mNdQ#?cdq&
z8T=aipBwy3_NATbQ=K*D*I5gnV1LWtHv2aXew_U*YpP8@kx4d$FR(B3628qG?Cwev
zcOdGp6X_+fI$q$~q1OumPZFB6eZj7FyXd#cv1{FMJP&rO9eVck>u;Wj&P){TEjem?
zOGp1rXEB}D%=}^$kdc`8n0e<N#u(a51^nr<$^|E=I123%GE?NBWFiI6peAm9QOcYr
z`5ZpT7yl_VhV{S2e`M}*AoWjunEj74Gy7lFUq06$#lsqqJTp3Dx=4OjhiJ?CiKcyJ
z)})kg{$>C4eWiReT=G}3O&6KJuz56wt>1MHEOQ{OA0f$?_cyF>O3CtqT0Ahi3+R=Y
i`E;k4YmW$WbjhL27>i@L`0X5?f0sL|sVecq%>Nst7Pip<

literal 0
HcmV?d00001

diff --git a/lectures/05/_build/echo.cmx b/lectures/05/_build/echo.cmx
new file mode 100644
index 0000000000000000000000000000000000000000..34c2dfd4d8df8787a144a8c27adc7b497a68586c
GIT binary patch
literal 489
zcmZ=x%*`>hw6u&gFg9zMx@;c<1LIBx1_l=(4Wt+@aWF9GGpM*GXXLXmE?{ADSg=4h
zxFjVfGbuhkG&v)&XoA7FCB7F9Jvzbda_?>3=7Wmw7c9_*sR*tto?x(|tMonpiYGP?
zayj<=-LoeOSw6LJf`P1z;REe*cK#1f<yNiM`fz5!0zH`ifTGO2lC%j18PldDSb7A^
zdwgN@>{-VWSdo;tW|m~60$p+8s>_YFIX5m(%=^ajqOQ9VNr_WwS{g`+<W$2(8<C!3
zt0gUxjNc?$k-XwqRFqgb!QkM_nLK}{eObZ%NRlJ>hnLiX1!@qdOfaa_+`2nfe?h&+
z1sR|22HCs?3s`g}7&!eZG@9l0Nsr^ft@y=BN^T1lSU3X%6zJ;IqP)Z$xBQ~q#1f~(
z;>=`VK*XOmk>pC+TT<!6wNs~+<0vpJL1u{Z6=tju_%VO#gDI2uGxDe)xg6$yp_u7%
zhHIsA)YZ<cdS8|C49Q(~I}AJCzq?@S9}#$DwtJ(h0}xD@*x=w0!tiaqi?<T@g`Bnv
I)v6pf0WZSM6951J

literal 0
HcmV?d00001

diff --git a/lecture05/echo.ml b/lectures/05/_build/echo.ml
similarity index 100%
rename from lecture05/echo.ml
rename to lectures/05/_build/echo.ml
diff --git a/lectures/05/_build/echo.ml.depends b/lectures/05/_build/echo.ml.depends
new file mode 100644
index 0000000..741a082
--- /dev/null
+++ b/lectures/05/_build/echo.ml.depends
@@ -0,0 +1 @@
+echo.ml: Array Printf Sys
diff --git a/lectures/05/_build/echo.o b/lectures/05/_build/echo.o
new file mode 100644
index 0000000000000000000000000000000000000000..770a8a322a826fd67d1dbcf1812a813366d6a8a0
GIT binary patch
literal 3496
zcmbuBO>7%Q6oAKxOPn@1CgR7?0$XYz;>T)e8xjRoPE{u>aA}}v1gK)W-fWyu$40vg
zBnYX2NJWu_$N>q&g>a&G4n%MuRXCJeZ$t<L$5bg&kT@6-#k@E3COes|>47KBzW2WO
z-u&(C*q8H#p_W*TNr|zOEc7I0Y;u2S=eU_;cd`yv_~?_&)$K;(%)nT8=Lee*G3Rfk
zzsD}j+CEHN$A>w;Qa5YNytdwM&R>s#yZv1&^8VG%kH17?;X)>1E}YJ!%!Nalz4f(M
z>gKhLcC+?e#_a#6^UC{JQ#-x9WiG@sU_f#00u=YJ1(5V0MA=3g88i{IHg^=}CFZlR
zYSsqKT0GPE2@7H9HFJKoMNFgi9`;lZ4xAY{+4<q6Mx(K@f0-|7{)hA`@8ITnpxk;R
z!`0wxH(LNPTve1Dh=Po5wF&;H&o?;ULU}lvDjme{A-EI2ZNCOq+_v9Ay<hUB;;&LV
zpdV3eG!H{7DC{tuqN55!6Z7s?82X2xjX<maYOtq3r}K4|L)~StKF|p_#oqL$D#1i{
zy3AZ>vWl9qTd?2fg7NZH(XvKFT%<wlXNct?6U-=?lMvESF7qcm<lJKKzRY4Xso24e
zw!~tLu?!U8JW*2Mv$3Sn@=G!?m^5BWb`K|wd@{j<|M7^kKO0fu*2pi8!BN_Km~d#u
z?%2~!in!2W_+f6gG9yIXdV;vA@e{;x-&M(Rr<Gk)A=obvpV9aj@g<Gh#1}P=?-N(N
ztnqiiPetrQjdQUZYRMOrufL3|P58IKyOjOs?-tmPJRcsK{06?h$C&a*6aIG-9*3z%
z^>d^N$D1oE|M@1o$azehRh%G6z<DdXApz+t!0&>6UL$`+#vOaQY*pOSgf(sZml${L
zqOZ94nPvNUgqyvg`D|#O2+iZ6`AldY3(cO;9Jd48D!QeqO30k*xT~=+SaK|{S`GY=
zxRt=0W!7-v?5V+mb#`dzTz=FV9XwUYTRh3~XMM}|N^c9#u^hWx=C-(86m#dEnGhF^
zb^Mr^E3dIij_3k*%=SEc)+$!ts*GE%=T$xG9J;nV7oJte@&nruJIeQsFUzfr^Gr_o
z;&+h=&z^PzyI6MV{X9e(zh}I=w&)@|LOc!{e={V1ow%OwG|B%|$;V$P+0T-~@ivnD
zD}~>y@UMyEeC|{DUkXnvd|To7D|{cEQxxpy0cdhu`MqOU{Z0(<QIO+pD(|~)gdmdl
z377v4sr(}G8PYO;iTpW@FOrY<4T{WP7B2gpH1ZZ`b@DegzDmBlnq>Yr#M1~sBrge<
zb!+@_;s$9P6Wfkt{n=?aP%P^Qp3sxh^4zkW4cwW4Wx0vRk!6d%4}KM$tm6kgy)0X)
z25xrv#q&>#6D_jcNsFJ>oss^RVL&x5P5<S~0Yj1Zw(xeJ0b~cE;hD)nQ)Q)1cnR7!
zJmYA}^OUCKCyC=3Qe}kdJ|it-vR?X+fe|(SbxJgp@o@}UFURj8rjNhA>t)K(#2P}6
zv0iX+h%Oa^y-D?k#^pC8^=XJ}OXL+PeL~cap8G1*>(iC>IjWONu3!42U_|ZTdb`Mw
z`-JZgYh}IUI3Im%tQ?{F-=HA=olZj2>v5Q<r5bb~Ki3wlx$xT>UC(gBAdXNwPrd$M
DB7V=-

literal 0
HcmV?d00001

diff --git a/lectures/05/_build/number_file_lines.cmx b/lectures/05/_build/number_file_lines.cmx
new file mode 100644
index 0000000000000000000000000000000000000000..99114530e2355def67a31d966eb79a22cb4eb29c
GIT binary patch
literal 548
zcmZ=x%*`>hw6u&gFg9zMx@;c<1LGG41_m!6Ef1vMa4<0FGZ^}n<|d^U#iwQFq{ioD
z=A{<1FfL$Wa#*lHH@GAvCo?HNJ~TNav1o$9w<W$84m~=-?Q-vJ-R6Ue?-wl4hN%dy
zES_MnqO0^h|B5Fz4{|y7{N1xB3Ryn2aDsuXjNt?Aa(4a?Pvusv*7|T}!2&&){(z#)
zyppsD1{u?)Bv^U`%zJ!c^Xys25?GOxxMr4Qqyk-W;i}7xwK+E~Pt5zq@}jQ05=n_u
zX<8aciR4tnMjMfyVyh)Bl8oOZT9LfsSX7i)Il<uI%b7fXrhQq#{Ya7{_lK9%f(2?2
zr%W)Y)ZDr|R)0ag#|0Um?grVs1q)boCK&kUhD(dS*uMGS-{X-gvrKL+SYY7{3|*kB
zQ;YHvbKLTaauZ9O5{omFfdLVJ+C-8oX>UoT57$neR*s{<umqVQ%2$}NLg2^zsSl=1
z-p|ORg5+|T|Ak_v%Neef%28K4v+8|S#xo>$+3hgwc>nH#seeS^k=gEzstyaBK*(Xj
x#0d)?a4IANU4s#mdU=qzH8MAGa&&NXbZ~H(a$es!W!0sb6{^{t=iWY@3ILry=XL-9

literal 0
HcmV?d00001

diff --git a/lecture05/number_file_lines.ml b/lectures/05/_build/number_file_lines.ml
similarity index 100%
rename from lecture05/number_file_lines.ml
rename to lectures/05/_build/number_file_lines.ml
diff --git a/lectures/05/_build/number_file_lines.ml.depends b/lectures/05/_build/number_file_lines.ml.depends
new file mode 100644
index 0000000..ae47d2a
--- /dev/null
+++ b/lectures/05/_build/number_file_lines.ml.depends
@@ -0,0 +1 @@
+number_file_lines.ml: Array Printf Sys
diff --git a/lectures/05/_build/number_file_lines.o b/lectures/05/_build/number_file_lines.o
new file mode 100644
index 0000000000000000000000000000000000000000..498f5ee3e01d084c79e7ad49cd2b58a4c20749ed
GIT binary patch
literal 5768
zcmbuDeTZAd7QiRTYSXVY^(l?oYP6}Qis5dz-EI+OQ}*N5My+<O`~14z&EDNj%_i|C
zTX(gvt1IXd#r)yJ{@I73BH~-{i3|Q=Ws8a^ukij*Q0jt$EfuUFxL`G&Gjk>xCp#iI
zkbCC*&c~dY`!V-sx;N7o3<Q{L0d^~EYLYT$|D)OO=G|_#o~>h<=U+_Jeyi7Szxhyd
z!&CnQi#_{&+@9-6MD4jRP{uOPZ#fJ+eK1`=V(pt7vCd#TH`&#m1UXl?a9X`ch#3p2
zAjgl;EoxUENW=u;QL`t4h>{$oU+A;!*^}XO`!`(8Y?)*}2}$hg(L{`p2%lXJR5q=E
zPsSH(3pjbm6ki;vadG&1F~EIix7O?R8qW9i#(Xzn{@L%tc6FC1`xY+dzS&nD=@x^{
zef2(1DQcnuPAuD1W`A&IwLSZBz@A+WO>AiteGH3U2tgw5eD)RS!4eLDXf9!E&g$T@
z{p2t8Rg4{(wyTrj_gY4sTWn@+tk*ufDr&Ae2kfe4?>RlO-L7_r?YXvuEzij_U672X
zvuIauwySN4`se4?!z?Y#l)gV*|3<D{c#(S^PH>UF@9dYbT<qr!xH8QKbz%z&0Y?H@
z^-Apm*|(L~pt+5$UCE2F3&gkW8a^5)XYgFrM%S;NU)R?f@&<|P{_BWeM&(GmtoLY~
z8!j@{D><HTY=+_CUi)L)2x>+S2K|k6*WzuXwrfDSRAH$9q&T4dUq#2fy8fwRPbz)v
zZijJWASX4x2RQo982Dfd4?><Ki??u*$0GhF$XM?(I}b9N8)HX7E?5>@0$Gb5V0n}q
zV{91ZzhdkGkPFc`tAQL_eQMnT$Wyk>=0RGQkFn=K#`m$nagYz+Gs()8;e2i=HJ)dM
ziSZ%NcSdq~&&lTsUKwG@&lM^o*n@T&9td}|c!@Z){~zoJc|ONEAOb}^*p4-9sba}1
zIJp92FE?1j-;)9UN@L+5qRq$-xM7>-M>t$chQQ-@v%q9DaOJvH;Tl{IUBEY!?FW>H
zBFRG$t0&SGydOn!IucGtlDF|=A3yGmSpAV?ZzPPd^8D?FTo4<*Yt8ylW^FJNiS<O{
zK^sLhIDm1{{z$Ap5`{P%=FeIi`?0=~Jw(^GZVNGa*EB6y4r3QL0rjF>Ud)7Sny=>F
z5YvmpIWovE=gCz#9N?W0vn3!oM*LZg&k!$Z{21}LD7ayrCoW_IvyX`{HxchG5f}ER
zQTT=UebJ<F&+zeJzS_9kL65Gmp0{zXIYYunI9D@^{$s!|QO*~?w!n0Z`-k{5L5+Hg
zxTQkqe`d)4oq_*q;9=NdqFQcLuQ%`x15X?H?FODT@F#%d`kbel`27R@mkj=|8TdN}
zzG&d54SbpN0ACL(iHl8eYvJ{PJHOgGfo}xfO*{tiyk*_-yi@Q-N1SoD{0QT!J5*NG
z)<<P~JNIifbQ$;_1Mf8O-3D$NcbCC`hk@@j@D2lSw+x11x8gcO-Y9GXxN@y4k}VE<
zii4A#@ck)MSz-%vcI-CPXBcBN>-fcDrOeG@<4WZUrHKmP|D28;oy_Ua+_^WMaqjHv
zJJ>tm45asFdL6}I={EMT5wV9kJ3GX(J8r3zr`nxDvEn^C;pTaulXbFgp89Y(W%I?d
z=VZs+Lcx<BV0U~Ej>W7~uDDroskJVcSE%??B5SUYtK{5#?r~4(<*Bmc`lCmbVpARB
z%+Rc9OLj(KXWr2zu0{t6a(&;Oa)yc%g<;3@{i4rPv<}YCmRA@ynEBZ@n@4<i+^e`l
zd5<yvT>&>(8~irG?*eV?`}s}B*bN}@)mZYo6@IzGA0m!<u26VM;a4hrR^j*#A@jdP
z9LH7jzoBq^uaN%#A&%qX7oOxF5XU@MDf~m?y8pKd$30u-SxwI&%!9kW<YJ!_>x1v+
zl5Zw|%zur-Z&dPJt8n=~t=A*pz4di?P|2^Z+q5D7(~7^kKL1wyw<`6#s`w`q{<gx^
zaZf6F)bsVV!f}6;>vK-Yqh2SM(Q_WxVVmN=S>ft=34;$dOsD*Hz`qqFm+z*iTX=wm
z{_<N2b@~2<9JU@N->)8qJ~qkabzBp;!Q<!v?KnR+{pU%SQs$BGR|}fIe7`!S@g>sb
z`;^Qh{pEEixlR5y)rA6=@E6htHU0zXC5^vJ`i#ckAibvXXGuS<ahLRYjqfD=gvLLi
z`cG;6ZQ^G%{tR*XrH^KuZ-uyge~^5LxJB2M<a>z6NurrtIKl5cY?7ZBDr2eg)Hpm#
zK~{Vr$7Ij<@@}f)O;%Wnck!{zQbXl3=tWdg*>a`5lcjKzO7-7y&rM>(5#HXI!ynXg
zpuZ>M5RP-zzg)V3VZ--TwMA70`uOa|d$SvUYCBGU94t`$8ZhEGVRDL*ypcHGV`>|t
zxIxVz<E8I)&{=8xK`L}m86Q*0csYJMF>M%jg8v^VM`=o&gW5VlL3W7>p)cd(8kg%Q
zWe?c(oEWn77svl6#nUt~ls6e)lYpe0zr+L3S!w;|X+jn`;`zf^886olYuCrdkP=-`
sU(mwh|4aBEj~>4on7;Oan2iHMyH_*nYlS&A7aq4n^=G-(Jm~Si1LBm?AOHXW

literal 0
HcmV?d00001

diff --git a/lectures/05/_build/number_lines.cmx b/lectures/05/_build/number_lines.cmx
new file mode 100644
index 0000000000000000000000000000000000000000..b3099899455484b1a7bea7c341f45063b8a6ec65
GIT binary patch
literal 411
zcmZ=x%*`>hw6u&gFg9zMx@;c<17kJ=1A{pbUjpJa91INl3_5<Lxk;%-@j01!sl_ae
z3s{&O7A(*WE=kGBOp1>WP0mOxnqcs4iSLC&k4|vA+<RNM`Jm$a1q-xcDuPoBCm6`e
z7(UQ0XXpR$RBqL3tq*4wEYO3=2NY%Im84BD$e1=I!O|mO-s20KXU{s8z>1{AHM1lm
z6==(at1dUz=G?eEG4C78i@NSgBqdIzX=xxOl2Z*EZA5yCt(LS%GJcb2U9dn6V$lSH
zO3kgiWAzu*dt8w5>28qCTd;sdX@bEu8!bhdbLFMY9|a%po1kB|V1b1*Fj#<YN-fGu
z%yG*v%1tbBN-WMyE}mczf7(QnD`{^@r4QFmomP&cz>vW3hfvIPIm5M5IqGU>R=uyv
zc!uNxyB&rd@84Z8^^XWVGTXgT)xlwblY_&Ai46`8sg+xuYXdf!luUT_cFD4zHvr?F
BtNj1~

literal 0
HcmV?d00001

diff --git a/lecture05/number_lines.ml b/lectures/05/_build/number_lines.ml
similarity index 100%
rename from lecture05/number_lines.ml
rename to lectures/05/_build/number_lines.ml
diff --git a/lectures/05/_build/number_lines.ml.depends b/lectures/05/_build/number_lines.ml.depends
new file mode 100644
index 0000000..8142677
--- /dev/null
+++ b/lectures/05/_build/number_lines.ml.depends
@@ -0,0 +1 @@
+number_lines.ml: Printf
diff --git a/lectures/05/_build/number_lines.o b/lectures/05/_build/number_lines.o
new file mode 100644
index 0000000000000000000000000000000000000000..f825a76adacedf886f520800dd40f72545559492
GIT binary patch
literal 3752
zcmbuCO>7%g5P-){+87cXxBR&ZRTe3&LIKP9X_^WN*-_#c$s`d8RiKrYwY|<y{S#~l
zB~X!woT{iINE~uOaNrQBm)_cAq*S8f6mGy7P*FL6ghUS!X6C(l_RCuvAu*D7X1<wu
z|NFApm`El3J|8IY!RyfQ6a`r9Y}hej#^5RFg4C_g`*#1X)!uyVN`Ln!+Zai1{T5E%
z9PbOIZk=65KRz3;eGq-)W-fY<8h%K{6b~o2$NMaincO}r==KSzHlvuyiQiCKD7k&D
zFD!|u+S>OEFaBvFn%ue{c+}n93!;7W!Uwq>p_b3fq<4Q^sMTuSz2hLpyU*h-hwimu
zhayMR9xT7e1&@BFk)Zsg&6|8NLck@W%4TBZtCS<==PqV%Sm!EFGVf@AT3Y6sn|^1D
zcKyuF{4VCtaz`qD)FHtQOXw58d1^W>x>57y)&QPB>ss9d7--@TAB+1Sj6VHzp}H6F
zw}QX$#ABF2y?e$2svQj^Ax8ce7L1Y(_d{{Dkao*<eyQkIB85Dxl$VOt99aNA;U-UM
zaYS%vu!ys|M*IQt*=jbwl(y{|*@kS2f?nBF2+K$|#1kLSaKQKBTi{y@`FgrK0z0_a
zG=7>F$!&UE30hOZ{_$Ycf0YzEfq2kLi04?ae==xI1Ooun-W=tlyhM-pf}u$Y{EM{1
zAGK!Twx(|~;L%mP-Kdi1<75M{6%zU+NZknc3bPH&kqt7Z{nBMZIBl?~L$v3a)4uC+
zT{vy><<tTnGvCn|nV&KL-r!#|-!u4K=KBW!7X46@_4!3`^%gaX{D@9#>n!#f!#&8U
z9jlQltXEp_gy2Rpx^@e`+JbMk;9s`jw_ET7<TS54JS1@z(f(27```y-sDBEM=L)qh
zK|jDLT!#Sj-&HW<6!Lb_UC7x5r*a*H>!d51tG~*T%Oc|#8ug+PFS_JK1738|iw3=D
z*o%g|DC<-mJMAtk6}_=cDeJb1;mu?ZUh?+gZDk>2mrJE;MMUH+7Ad<<R$Pnr(B%=Z
zCsWg7@svHCNX$;m*>mx+)P$|2Yi9la%gGDS9v+elWIHP>`E|JrcE-u)ZR{hTFJ<gX
z)yc>$JGLQiv07gDj#kXsEoQwDu~JPVxw2Dmt4=!a@_CW>3P3yhbVnZX1)Svg1=RGX
zP4Q`sKd14l%&DE{HD1toSmPgQ{FKJO()byT-`BXF|DDG5e06`)>p}TSEH;RrRuHwi
zSBcXtuI|$q+9Zmr`*cO(I)BLirongES6a2B?$cc(e~<k;2H$5tL=B*j!YcqCkb`0w
zd_!WOFFq2L|Gsn~W^kMNyunA9Tdb*1`YD-bLvb~3h*Z`Kc+gN+%Tg~YtL)~TNY!1d
z0=`{n(s6}Ix>7;EL{21AsSb=lq*$uDk;$pIUzIP0%yt)Taf;Ol{-3t6oThC4g^nR3
zG4JD$#Pw$nT6E@Pbs~+ufYfTA>BE%zVO;-SdzrcU<zVqXJZ3FhYt$?MJQ~gV-=q&o
zlo_t4{;3bM{{d!Z|6vng9*Hp=pz}dYf0roF;(Ci5P1O1+J&rN6O-hgb$Nt~pdi_l5
z^^4?aqUNs<eG@iYze8Ful&DldF4d~~FmoEa**Asuc>ISP>_pa$KeL{;so7N5_&{DT
V8aLO9?zU$2>i>@n#&t34{{b5r06G8w

literal 0
HcmV?d00001

diff --git a/lectures/05/_build/sum_integers.cmx b/lectures/05/_build/sum_integers.cmx
new file mode 100644
index 0000000000000000000000000000000000000000..f564928b8940338d93f0723d5cb357b28b05ecdb
GIT binary patch
literal 477
zcmZ=x%*`>hw6u&gFg9zMx@;c<1LIl-1_lQp{tCp$IT#r98FYe6bK^7fN>bBPi;7to
z7qBonELgz8GQr?;-o?$~4euomFMo35RL9=03l``Gm!#xmCdJ2xCTAoTO)&Vj#P`CX
zM<=*l?!B$sd{FWIf(6<z6~U>66AWZ!3?FEhv-5v=Dz|F2)`v4lCIlxZ=A}(A(3@^K
zy=T>ChxR+oj$P;GK3lLr4`xC@5ztXUB^lGEBv^U`%zJ!c^Xys25?GOxxMr4QqypV>
z;i}7xwK+E~Pt5zq@}jQ05=n_uX<8aciR4tnMjMfyVyh)Bl8oOZS{E!(gIF}dpi*<|
z?pXZ=^&S^we7YNC^A;?ya0Uh(C`gL(5_8=0i*gf7oDz#OlZz)9#Gf{i<VxCGQt89B
zQ>T^VC@`$xp#t^OdxqzMrz47$OPm&WEI<445Rz+PeiDkAE@!w_Do0)I%&PZQ89;Bt
vU1PVyu;cx^3#R@Nfk$S$H>x@S!Gwto4i1xeV-#}lUb+7I=9P@}kXL&Eg$U09

literal 0
HcmV?d00001

diff --git a/lecture05/sum_integers.ml b/lectures/05/_build/sum_integers.ml
similarity index 100%
rename from lecture05/sum_integers.ml
rename to lectures/05/_build/sum_integers.ml
diff --git a/lectures/05/_build/sum_integers.ml.depends b/lectures/05/_build/sum_integers.ml.depends
new file mode 100644
index 0000000..55eb6ca
--- /dev/null
+++ b/lectures/05/_build/sum_integers.ml.depends
@@ -0,0 +1 @@
+sum_integers.ml: Printf Scanf
diff --git a/lectures/05/_build/sum_integers.o b/lectures/05/_build/sum_integers.o
new file mode 100644
index 0000000000000000000000000000000000000000..f8a1a49e05a82c8f5e64d9055c0a4f21294992df
GIT binary patch
literal 5056
zcmbuDZ)j6j6u@uVPNS=7bZ(1tu0hgKHw>+<+S*N;+CQ%&YOzi_J9tggq^%}tNzzgG
z2ZNQZAuB7W;Py%OLEHvoOc)NvR;V!d5BALt1{?ULWdofX*bicM&VA=Jw>K~I!!G2V
zbARX0z3<%j?tSg)j$mh*!y&ji#C}oeF%=@?F6gaNZ510tr3lWP_g#9B&mU|#R$FzZ
z211RgKix*Q-RBI>Y<n9#1HFO#Yjxe(XkGWzZSTRB{Z(iF0o*-fI*shBKDY7hf#rLZ
z5SM!q^BUO}<C{lN6T)F+-vFlrZnov5!N^_gE5m@yY`GAN=xJo<ja-Y7YxlYHHzf(Y
z*I8#wU3V^>0dsWL$ZeB;IY^kRGnyYv1PscSt?;enziK6(!o)`Q?^U@geEFL=f^%tG
zKA*3uh6zy4{yw95VWLtRVNCaYbhbMet-~n<`UCk}=!;mUTPlO-6E)T(k1zcM#fwJ$
zRn=#4evq@@ZOpWn=jWqU)$KxD!^M~{*s<Q%sNTsosI^mi&_wZ0XiikAOdTXBx(ykF
z)tNuBohI_fRXP5>N2OS~@Jf{80t#i<Dk;z7WL$ZswEP@<f32l?Yf`9GaD0FrNS0AN
z=VK`zns?|w^FA!TW@x>PuXxOw2#>2vnx=S|AIGsj%XO@f+z9fz!Zy;|Ijt~M(J!X3
zEug2hzG~kAHdzt!!Tt-1{|*=jU->45q52&B9PskZf?OWy6GuUMI+n!<$m!i)F#xi5
zOOrSY@<!m2zX$mii!VF-#CUQvk&gP~F_D^xo1jOABgvHPheHWz5Wm6;(wiQNjSiY-
zkL7QLL9Xx7rbdP)CIO4jHID34B~P!+p291d^p;@&A=pmKD_k~{!SVVL;h1zgwpOln
z&cfm~0)Lup9k`gsT%JQNZ@a6uYyyR+EbVdzT%Kd{8gzNPT%Hb>Q`Qt~hD|<EAhFI^
zKWu9(A$%a;B)uQy5tsWd%;j!#dAjiGBx`9=A^ytSS<7vAcmc0+@yl#Ir#!1dHk>og
z){+HYE!A?N&#r;Ex8N$ZF5+_<KTe$M!sa+}e6G}%k)3k+T&nyWam!w?Tqb^{fTZ>%
z@kNdQNPI!#zY*`zUg*2T^-`~qe&wQ8^M8uCN8^6zyKUCxCCN2s7&8iJ6AU^)CSJMI
z#CiJinT5_p;Fw>3&p#@`=OyPX1^El*=Q{ASeYb>v1?(aEvxC{Tm*6`~@O>rt5#U&d
zaTp()e1|}emhhjJ+#!A-e;EXq4<#=blN$dD_(rH(hWH5E!=ZT0OhksGW;~QSDP%V^
zm{Pi{wy*j|>9U$N6f+yQred$=Vzj3i?JY*Ti_xxPWHYb&Vy}9e$oe`PKbzR0P&#A|
zMutZd#s1;3p-3rPbRuCkG}_D$jt6ts-s0*NrymZR$+59?N|;^2!)<|}dAPH)x8taJ
zG|(38FpK@=kPWm5bXv(%#&T7O|D-&4%=)HgS|Mqbj%GL%i<!e=rIU;R8Vj4LbSP{+
zL8~5*NFtp)wQ3MLB%{_TX*M?4R903mk{GfA)e}_K+}09JhT@TQXfPHL2kC{t^M5P+
z?$ZG|s&L%%nU5<R&q?M}#4AAJmn!oM3V%}JpAg4!)jVG-9QQcR^PR%iDcstp;lmP`
zIxZiOnEx5YANO5s=#OU_=ijGrufnGluFn4)am<h3Xq@K*g{$LUR`P6D{BhsKhV${l
zkMm&7v7z}1saY2<>Bw<D+<2cy?qLXWgmmQi6);PEUPtB`;ulFWze4>vjW1IFhQ=4D
ze@Ekde#jdF8|UZq(uqLfd|tL{yvK4Aye?>lEn9p+et7O-WBxJqKhyZT)SuJ%Z7W>-
ztnpjKf7kf?#P4YQJaIWW(9w+Ze22IPJJ6W#qIj>QmM^(T(x-8*Cx82+Fa8E7Pe$_}
zCocS{Q*n6pL8g<I9APaPiG}>>$YfghrHUJf@DHX^&>zE&Kb%U}?-BmQSUTeGI`r~R
zYbUe3BO|8VS7_k>DZCJmQ|9j+PS;9`exAG8fh6u__)fJ_pG9q@rSWsJ9=bS=lN|Wn
zd7ilb<?N<KStLneEAiZa78JYj=Qda#%d{RiK8~S}Ur$UQe;Je7G+tgd?EwYZCI&3&
z4}UNBNpk&IwgcC5qN|tUDQrdPzOR4<nO3Hi_)9C1mcsYX82^^CtKYRM%VU5Xv3?lK
z@w|R^V`Io1%^&{}gbn|_uo-@OJf1On?E#4%G(cO>ZcM*_JQM8VJyhVZ%u=}M@&5uO
Cvi^<$

literal 0
HcmV?d00001

diff --git a/lecture05/cat.ml b/lectures/05/cat.ml
similarity index 100%
rename from lecture05/cat.ml
rename to lectures/05/cat.ml
diff --git a/lecture05/data.txt b/lectures/05/data.txt
similarity index 100%
rename from lecture05/data.txt
rename to lectures/05/data.txt
diff --git a/lectures/05/echo.ml b/lectures/05/echo.ml
new file mode 100644
index 0000000..b2774fd
--- /dev/null
+++ b/lectures/05/echo.ml
@@ -0,0 +1,6 @@
+let () =
+  let len = Array.length Sys.argv - 1 in
+  for i = 1 to len do
+    Printf.printf (if i <> len then "%s " else "%s\n") Sys.argv.(i)
+  done;;
+
diff --git a/lecture05/notes.ml b/lectures/05/notes.ml
similarity index 99%
rename from lecture05/notes.ml
rename to lectures/05/notes.ml
index bdf4153..2711f6e 100644
--- a/lecture05/notes.ml
+++ b/lectures/05/notes.ml
@@ -158,4 +158,3 @@ Scanf.scanf " %d" (fun x -> x)
 (* open_in "filename";; *)
 let ic = open_in "output";;
 input_line ic;;
-
diff --git a/lectures/05/number_file_lines.ml b/lectures/05/number_file_lines.ml
new file mode 100644
index 0000000..477043c
--- /dev/null
+++ b/lectures/05/number_file_lines.ml
@@ -0,0 +1,16 @@
+let rec number acc ic =
+  try
+    Printf.printf "%5d| %s\n" acc @@ input_line ic;
+    number (acc + 1) ic
+  with
+  | _ -> if ic <> stdin then close_in ic else ()
+
+let () =
+  if Array.length Sys.argv = 1 then
+    number 1 stdin
+  else
+    try
+      number 1 @@ open_in Sys.argv.(1)
+    with
+    | Sys_error s -> Printf.eprintf "%s\n" s;;
+
diff --git a/lectures/05/number_lines.ml b/lectures/05/number_lines.ml
new file mode 100644
index 0000000..4028e41
--- /dev/null
+++ b/lectures/05/number_lines.ml
@@ -0,0 +1,9 @@
+let () =
+  let rec aux acc =
+    try
+      Printf.printf "%5d| %s\n" acc @@ read_line ();
+      aux (acc + 1)
+    with
+    | _ -> ()
+  in
+  aux 1;;
diff --git a/lecture05/output b/lectures/05/output
similarity index 100%
rename from lecture05/output
rename to lectures/05/output
diff --git a/lecture05/ref.ml b/lectures/05/ref.ml
similarity index 100%
rename from lecture05/ref.ml
rename to lectures/05/ref.ml
diff --git a/lectures/05/sum_integers.ml b/lectures/05/sum_integers.ml
new file mode 100644
index 0000000..d9b5fac
--- /dev/null
+++ b/lectures/05/sum_integers.ml
@@ -0,0 +1,12 @@
+let () =
+  let rec aux sum =
+    try
+      aux @@ Scanf.scanf " %d" (fun x -> sum + x)
+    with
+    | Scanf.Scan_failure _ ->
+      Scanf.scanf " %s" (fun _ -> ());
+      aux sum
+    | End_of_file -> sum
+  in
+  Printf.printf "%d\n" @@ aux 0;;
+
diff --git a/lectures/06/_build/_digests b/lectures/06/_build/_digests
new file mode 100644
index 0000000..a316040
--- /dev/null
+++ b/lectures/06/_build/_digests
@@ -0,0 +1,3 @@
+"Rule: ocaml dependencies ml (%=two_list_queue )": "\153s\252\225.\205\197\1597\030\142\254Q\213.\135"
+"Resource: /home/flami/Projects/comp3958/lecture06/two_list_queue.ml": "\174\189*\255(\166==\251\006\232\150\141\1714\130"
+"Rule: ocaml: ml -> cmo & cmi (%=two_list_queue )": "9\165\179\031F'#6\127\149\136<\242y\019t"
diff --git a/lectures/06/_build/_log b/lectures/06/_build/_log
new file mode 100644
index 0000000..9d0e2de
--- /dev/null
+++ b/lectures/06/_build/_log
@@ -0,0 +1,8 @@
+### Starting build.
+# Target: /home/flami/.opam/default/bin/ocamlc.opt -config, tags: {  }
+/home/flami/.opam/default/bin/ocamlc.opt -config
+# Target: two_list_queue.ml.depends, tags: { extension:ml, file:two_list_queue.ml, ocaml, ocamldep, quiet }
+/home/flami/.opam/default/bin/ocamldep.opt -modules two_list_queue.ml > two_list_queue.ml.depends
+# Target: two_list_queue.cmo, tags: { byte, compile, extension:cmo, extension:ml, file:two_list_queue.cmo, file:two_list_queue.ml, implem, ocaml, quiet }
+/home/flami/.opam/default/bin/ocamlc.opt -c -o two_list_queue.cmo two_list_queue.ml
+# Compilation successful.
diff --git a/lecture06/two_list_queue.ml b/lectures/06/_build/two_list_queue.ml
similarity index 100%
rename from lecture06/two_list_queue.ml
rename to lectures/06/_build/two_list_queue.ml
diff --git a/lectures/06/_build/two_list_queue.ml.depends b/lectures/06/_build/two_list_queue.ml.depends
new file mode 100644
index 0000000..0d870ba
--- /dev/null
+++ b/lectures/06/_build/two_list_queue.ml.depends
@@ -0,0 +1 @@
+two_list_queue.ml: Fun List
diff --git a/lecture06/bstree.ml b/lectures/06/bstree.ml
similarity index 100%
rename from lecture06/bstree.ml
rename to lectures/06/bstree.ml
diff --git a/lecture06/bstree.mli b/lectures/06/bstree.mli
similarity index 100%
rename from lecture06/bstree.mli
rename to lectures/06/bstree.mli
diff --git a/lecture06/bstree2.ml b/lectures/06/bstree2.ml
similarity index 100%
rename from lecture06/bstree2.ml
rename to lectures/06/bstree2.ml
diff --git a/lecture06/functor/_build/_digests b/lectures/06/functor/_build/_digests
similarity index 100%
rename from lecture06/functor/_build/_digests
rename to lectures/06/functor/_build/_digests
diff --git a/lecture06/functor/_build/_log b/lectures/06/functor/_build/_log
similarity index 100%
rename from lecture06/functor/_build/_log
rename to lectures/06/functor/_build/_log
diff --git a/lecture06/functor/_build/bstree.ml b/lectures/06/functor/_build/bstree.ml
similarity index 100%
rename from lecture06/functor/_build/bstree.ml
rename to lectures/06/functor/_build/bstree.ml
diff --git a/lecture06/functor/_build/bstree.ml.depends b/lectures/06/functor/_build/bstree.ml.depends
similarity index 100%
rename from lecture06/functor/_build/bstree.ml.depends
rename to lectures/06/functor/_build/bstree.ml.depends
diff --git a/lecture06/functor/_build/bstree.mli b/lectures/06/functor/_build/bstree.mli
similarity index 100%
rename from lecture06/functor/_build/bstree.mli
rename to lectures/06/functor/_build/bstree.mli
diff --git a/lecture06/functor/_build/bstree.mli.depends b/lectures/06/functor/_build/bstree.mli.depends
similarity index 100%
rename from lecture06/functor/_build/bstree.mli.depends
rename to lectures/06/functor/_build/bstree.mli.depends
diff --git a/lecture06/functor/bstree.ml b/lectures/06/functor/bstree.ml
similarity index 100%
rename from lecture06/functor/bstree.ml
rename to lectures/06/functor/bstree.ml
diff --git a/lecture06/functor/bstree.mli b/lectures/06/functor/bstree.mli
similarity index 100%
rename from lecture06/functor/bstree.mli
rename to lectures/06/functor/bstree.mli
diff --git a/lecture06/notes.ml b/lectures/06/notes.ml
similarity index 100%
rename from lecture06/notes.ml
rename to lectures/06/notes.ml
diff --git a/lecture06/notes.txt b/lectures/06/notes.txt
similarity index 100%
rename from lecture06/notes.txt
rename to lectures/06/notes.txt
diff --git a/lecture06/queue.ml b/lectures/06/queue.ml
similarity index 100%
rename from lecture06/queue.ml
rename to lectures/06/queue.ml
diff --git a/lectures/06/two_list_queue.ml b/lectures/06/two_list_queue.ml
new file mode 100644
index 0000000..48eff0c
--- /dev/null
+++ b/lectures/06/two_list_queue.ml
@@ -0,0 +1,42 @@
+(* queue is empty iff the first list is empty *)
+type 'a t = 'a list * 'a list;;
+
+exception Empty;;
+
+let empty = ([], []);;
+
+let is_empty (l, _) = l = [];;
+
+let enqueue x (l1, l2) =
+  match l1 with
+  | [] -> [x], l2
+  | _ -> (l1, x :: l2);;
+
+let dequeue (l1, l2) =
+  match l1 with
+  | [] -> raise Empty
+  | [_] -> (List.rev l2, [])
+  | _ :: xs -> (xs, l2);;
+
+let dequeue_opt q =
+  try
+    Some (dequeue q)
+  with
+  | Empty -> None;;
+
+let front (l, _) =
+  match l with
+  | [] -> raise Empty
+  | x :: _ -> x;;
+
+let front_opt (l, _) =
+  match l with
+  | [] -> None
+  | x :: _ -> Some x;;
+
+let of_list l = 
+  List.fold_left (Fun.flip enqueue) empty l;;
+
+let to_list (l1, l2) =
+  l1 @ List.rev l2;;
+
diff --git a/lectures/07/bstree.ml b/lectures/07/bstree.ml
new file mode 100644
index 0000000..83ebf68
--- /dev/null
+++ b/lectures/07/bstree.ml
@@ -0,0 +1,2 @@
+(* bstree with records *)
+type 'a t = L | N of {v: 'a; l: 'a t; r: 'a t};;
diff --git a/lectures/07/counter.ml b/lectures/07/counter.ml
new file mode 100644
index 0000000..402a668
--- /dev/null
+++ b/lectures/07/counter.ml
@@ -0,0 +1,7 @@
+let counter =
+  let c = ref 0 in
+  (fun () -> incr c; !c);;
+
+let make_counter init =
+  let c = ref init in
+  (fun () -> let x = !c in incr c; x);;
diff --git a/lectures/07/frequency.ml b/lectures/07/frequency.ml
new file mode 100644
index 0000000..d00826d
--- /dev/null
+++ b/lectures/07/frequency.ml
@@ -0,0 +1,12 @@
+module F = Map.Make(String)
+
+let rec count map =
+  let word = Scanf.scanf " %s" (fun w -> w) in
+  if word = "" then map
+  else count (F.update word (function
+    | None -> Some 1
+    | Some n -> Some (n + 1))
+  map);;
+
+let () =
+  List.iter (fun (s, n) -> Printf.printf "%s: %d\n" s n) @@ count F.empty;;
diff --git a/lectures/07/leftist.ml b/lectures/07/leftist.ml
new file mode 100644
index 0000000..2ac4afa
--- /dev/null
+++ b/lectures/07/leftist.ml
@@ -0,0 +1,46 @@
+(** rank of node = shortest distance to a leaf (empty node)
+  * hence, rank of node = 1 + min(rnak of left, rank of right)
+  * leftist tree has 2 properties:
+  *  For ever node
+  *  * leftist: rnak(left) >= rank(right)
+  *  * min-heap: value(parent) <= value(node)
+  *)
+
+type 'a t = L | N of int * 'a * 'a t * 'a t;;
+
+exception Empty;;
+
+let rank = function
+  | L -> 0
+  | N (rk, _, _, _) -> rk;;
+
+let empty = L;;
+
+let is_empty t = t = L;;
+
+let rec merge t1 t2 =
+  match t1, t2 with
+  | t, L | L, t -> t
+  | N (_, x1, _, _), N (_, x2, _, _) when x2 < x1 ->
+    merge t2 t1
+  | N (_, x, l, r), t ->
+    let t' = merge r t in
+    if rank t' > rank l then N (1 + rank l, x, t', l)
+    else N (1 + rank t', x, l, t');;
+
+let insert x t =
+  merge t (N (1, x, L, L));;
+
+let of_list l = List.fold_left (Fun.flip insert) L l;;
+
+let get_min = function
+  | L -> raise Empty
+  | N (_, x, _, _) -> x;;
+
+let delete_min = function
+  | L -> L
+  | N (_, _, l, r) -> merge l r;;
+
+let rec to_list t =
+  if is_empty t then []
+  else get_min t :: to_list (delete_min t);;
diff --git a/lectures/07/modules.ml b/lectures/07/modules.ml
new file mode 100644
index 0000000..6ffc1c9
--- /dev/null
+++ b/lectures/07/modules.ml
@@ -0,0 +1,47 @@
+(*
+  - a module can contain other modules as well as module type definitions
+  - a module type/sig (signature) can not contain modules but can contain other sigs
+  - for a .ml/.mli pair,
+    * anything not specified in .mli file is hidden
+    * everything specified in the .mli file must be defined in the .ml file
+*)
+
+module M = struct
+  let f x = 2 * x
+end;;
+
+module type S = module type of M;;
+
+module M = struct
+  let f x = 2 * x;;
+  let g x = 3 * x;;
+  module N = struct
+    type t = int
+  end
+end;;
+
+(* S signature is the same as M if loaded in utop *)
+module type S = module type of M;;
+
+(***** EXTENDED MODULES *****)
+
+(* lets extend List module *)
+module ListExt = struct
+  include List;; (* include module to extend *)
+  let to_array l = Array.of_list l;;
+end;;
+
+ListExt.to_array [3;2;7;6;8];;
+
+module F = Map.Make(String);;
+
+(* returns abstract type *)
+let m = F.empty |> F.add "hello" 1 |> F.add "hello" 2;;
+F.to_list m;;
+
+let incr key m =
+  F.update key (function | None -> Some 1 | Some x -> Some (x + 1))
+  m;;
+
+let m = incr "hello" m;;
+let m = incr "world" m;;
diff --git a/lectures/07/sieve.ml b/lectures/07/sieve.ml
new file mode 100644
index 0000000..0c409b0
--- /dev/null
+++ b/lectures/07/sieve.ml
@@ -0,0 +1,16 @@
+let isqrt n = n |> float_of_int |> sqrt |> int_of_float;;
+
+let sieve n =
+  let is_prime = Array.make n true in
+  for i = 2 to isqrt n do
+    if is_prime.(i) then
+      let j = ref i in
+      while i * !j < n do
+        is_prime.(i * !j) <- false;
+        incr j
+      done
+  done;
+  is_prime.(0) <- false;
+  is_prime.(1) <- false;
+  is_prime |> Array.to_list |> List.mapi (fun i b -> (i, b)) |>
+  List.filter_map (fun (i, b) -> if b then Some i else None);;