micro-timl-tc-test1.pkg

(* (* basic.timl *) *)
(* (* list.timl *) *)

(* stdlib.pkg *)

(* unit-test-basic.timl *)

(* (* unit-test-bool.timl *) *)
(* (* unit-test-array.timl *) *)
(* (* unit-test-list.timl *) *)
  
(* (* perversive-list.timl *) *)
(* (* trivial.timl *) *)
(* (* bigO-evolve.timl *) *)
(* (* fold-evolve.timl *) *)
(* (* single-var.timl *) *)
(* (* bug.timl *) *)
(* (* pldi-2017-review-example.timl *) *)
(* (* braun-tree-sortedness.timl *) *)
(* (* rbt-sortedness.timl *) *)

(* (* ragged-matrix.timl *) *)
(* (* tree.timl *) *)
(* (* msort.timl *) *)
(* (* insertion-sort.timl *) *)
(* (* braun-tree.timl *) *)
(* (* rbt.timl *) *)
(* (* dynamic-table.timl *) *)
(* (* functional-queue.timl *) *)
(* (* array-bsearch.timl *) *)
(* (* array-heap.timl *) *)
(* (* array-msort.timl *) *)
(* (* array-msort-inplace.timl *) *)
(* (* array-kmed.timl *) *)
(* (* dlist.timl *) *)
(* (* qsort.timl *) *)
(* (* dijkstra.timl *) *)

(* (* dynamic-table.timl *) *)
(* (* dynamic-table-test.timl *) *)