<?xml version="1.0" encoding="utf-8" standalone="yes"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml"><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/01-recursion/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/course-introduction/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/basic-recursion/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/policies/</loc><lastmod>2022-03-10T11:44:16-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/</loc><lastmod>2022-03-10T11:44:16-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/02-algebraic-data-types/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/recursion/</loc><lastmod>2022-01-22T15:22:26-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/why-take-this/</loc><lastmod>2022-03-10T11:44:16-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/learning-modules-faq/</loc><lastmod>2022-01-24T14:49:55-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/learning-module-map/</loc><lastmod>2022-05-02T20:11:51-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/03-higher-order-functions/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/github/</loc><lastmod>2022-01-20T17:46:00-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/algebraic-data-types/</loc><lastmod>2022-01-25T17:52:26-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/tail-recursion/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/04-interpreters-expressions/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/higher-order-functions/</loc><lastmod>2022-01-31T13:24:31-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/product-types/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/learning-efficiently/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/getting-haskell/</loc><lastmod>2022-01-25T18:09:01-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/05-interpreters-functions/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/interpreters-1/</loc><lastmod>2022-02-01T16:26:12-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/sum-types-pt1/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/06-lambda-calculus/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/interpreters-2/</loc><lastmod>2022-02-15T16:47:12-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/sum-types-pt2/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/big-step-semantics/</loc><lastmod>2022-02-11T12:02:54-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/i-got-covid/</loc><lastmod>2022-02-07T14:51:11-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/project/</loc><lastmod>2022-03-31T08:57:59-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/remote-students/</loc><lastmod>2022-01-27T09:52:07-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/07-evaluation-semantics/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/08-typing-semantics/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/lambda-calculus/</loc><lastmod>2022-02-11T12:02:54-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/map-and-foldr/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/remote-groups-faq/</loc><lastmod>2022-01-27T11:59:09-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/09-hoare-logic/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/higher-order-abstract-syntax/</loc><lastmod>2022-01-17T15:02:04-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/interpreters-1/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/10-continuations/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/continuation-passing-style/</loc><lastmod>2022-02-17T17:58:28-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/interpreters-2/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/11-type-classes-and-monads/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/type-classes/</loc><lastmod>2022-03-01T12:59:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/introduction-to-semantics/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/12-grammars/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/monads/</loc><lastmod>2022-03-01T12:59:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/big-step-semantics/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/13-regular-languages/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/state-monad/</loc><lastmod>2022-03-03T18:23:38-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/lambda-calculus/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/14-ll-parsing/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/grammars/</loc><lastmod>2022-03-03T18:14:21-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/lambda-calculus-examples/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/15-lr-parsing/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/evaluation-order/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/16-unification/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/church-numerals/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/17-state-and-objects/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/cps/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/18-prolog/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/cps-transform/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/19-variables/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/type-classes/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/modules/20-metaprogramming/</loc><lastmod>2021-11-23T18:40:41-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/functors-and-applicatives/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/monads/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/loop-invariants/</loc><lastmod>2022-01-17T15:02:04-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/state-monad/</loc><lastmod>2022-03-18T14:01:21-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/state-monad-example/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/introduction-to-grammars/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/first-sets/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/follow-sets/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/prolog-applications/</loc><lastmod>2022-01-17T15:02:04-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/regular-languages/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/right-linear-grammars/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/macros/</loc><lastmod>2022-05-06T18:01:11-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/ll-parsing/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/fixing-non-ll-grammars/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/lr-parsing/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/combinator-parsing/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/small-step-semantics/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/church-rosser-property/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/unification/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/hoare-semantics/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/loop-invariants/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/monotype-semantics/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/polytype-semantics/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/prolog/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/prolog-cut/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/variables/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/parameters/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/macros/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/</loc><lastmod>2022-05-06T18:01:11-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/</loc><lastmod>2022-05-06T18:01:11-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/closures/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/combinator-parsing-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/dynamic-prolog-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/dynamic-prolog/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/hoare-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/induction/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/introduction-to-higher-order-functions/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/local-state/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/monotype-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/objects/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/objects-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/polytype-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/prolog-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/prolog-cut-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/shift-reduce-conflicts/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/small-step-semantics-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/state/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/state-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/subclasses/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/y-combinator/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/variables-activity/</loc><lastmod>2022-01-17T19:09:23-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/videos/</loc><lastmod>2022-03-18T14:01:21-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/authors/</loc></url><url><loc>https://uiuc-cs421-sp22.netlify.app/categories/</loc></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/combinator-parsing/</loc><lastmod>2022-04-12T09:55:56-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/content/</loc><lastmod>2022-03-10T11:44:16-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/</loc><lastmod>2022-04-12T09:55:56-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/getting-started/</loc><lastmod>2022-03-10T11:44:16-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/policies/grading-faq/</loc><lastmod>2022-04-18T10:53:05-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/hoare-semantics/</loc><lastmod>2022-04-18T17:49:19-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/ll-parsing/</loc><lastmod>2022-04-12T09:55:56-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/lr-parsing/</loc><lastmod>2022-03-24T04:42:37-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/monotype-semantics/</loc><lastmod>2022-04-18T17:49:19-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/polytype-semantics/</loc><lastmod>2022-04-18T17:49:19-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/problems/</loc><lastmod>2022-01-12T15:28:32-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/prolog/</loc><lastmod>2022-05-02T10:53:10-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/prolog-cut/</loc><lastmod>2022-05-02T10:53:10-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/regular-languages/</loc><lastmod>2022-03-11T13:49:51-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/small-step-semantics/</loc><lastmod>2022-04-12T09:55:56-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/docs/policies/syllabus/</loc><lastmod>2022-03-10T11:44:16-06:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/tags/</loc></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/unification/</loc><lastmod>2022-04-19T11:39:15-05:00</lastmod></url><url><loc>https://uiuc-cs421-sp22.netlify.app/lectures/variables/</loc><lastmod>2022-05-02T10:53:10-05:00</lastmod></url></urlset>