..
├── index.html
├── lec-01-introduction-equivalence-evaluation-typing-binding-scope.pdf
├── lec-02-functions.pdf
├── lec-03-recursion-and-induction.pdf
├── lec-04-lists-tail-recursion-structural-induction.pdf
├── lec-05-datatypes-trees-and-structural-induction.pdf
├── lec-06-asymptotic-analysis.pdf
├── lec-07-sequential-sorting.pdf
├── lec-08-parallel-sorting.pdf
├── lec-09-polymorphism-and-parameterized-datatypes.pdf
├── lec-10-higher-order-functions.pdf
├── lec-11-combinators-staging.pdf
├── lec-12-continuations.pdf
├── lec-13-exceptions.pdf
├── lec-14-regular-expressions.pdf
├── lec-15-more-regular-expressions.pdf
├── lec-16-signatures-and-structures.pdf
├── lec-17-functors.pdf
├── lec-18-red-black-trees.pdf
├── lec-19-parallelism-cost-semantics-sequences.pdf
├── lec-20-lazy.pdf
├── lec-21-imperative.pdf
├── lec-22-context-free-grammars-and-parsing.pdf
├── lec-23-computability.pdf
└── sml_latex.code-snippets
1 directory, 25 files