diff options
| -rw-r--r-- | flake.lock | 18 | ||||
| -rw-r--r-- | src/Prolog.hs | 4 | ||||
| -rw-r--r-- | www/teaching/index.md | 16 |
3 files changed, 21 insertions, 17 deletions
@@ -5,11 +5,11 @@ "nixpkgs-lib": "nixpkgs-lib" }, "locked": { - "lastModified": 1769996383, - "narHash": "sha256-AnYjnFWgS49RlqX7LrC4uA+sCCDBj0Ry/WOJ5XWAsa0=", + "lastModified": 1778716662, + "narHash": "sha256-m1Yf0wZ8j1OHjTc2UwHwyQRSnNeSgLJOd7q5Y45hzi4=", "owner": "hercules-ci", "repo": "flake-parts", - "rev": "57928607ea566b5db3ad13af0e57e921e6b12381", + "rev": "f7c1a2d347e4c52d5fb8d10cb4d94b5884e546fb", "type": "github" }, "original": { @@ -50,11 +50,11 @@ }, "nixpkgs": { "locked": { - "lastModified": 1770580651, - "narHash": "sha256-yZ5a0phemTlDkHi9rb550ikDDzmvZM5iWj+RibRVSqg=", + "lastModified": 1782911522, + "narHash": "sha256-ucCmt+bn4JGfGitaFgiQMHPfODqMIZ9nbHKDVHIRL7w=", "owner": "nixos", "repo": "nixpkgs", - "rev": "0298fc501eb1d7c33c31b5e295cd4494c58983e6", + "rev": "a1a6f0fe5442349fc15b6eb956b25d4b2fc21619", "type": "github" }, "original": { @@ -65,11 +65,11 @@ }, "nixpkgs-lib": { "locked": { - "lastModified": 1769909678, - "narHash": "sha256-cBEymOf4/o3FD5AZnzC3J9hLbiZ+QDT/KDuyHXVJOpM=", + "lastModified": 1777168982, + "narHash": "sha256-GOkGPcboWE9BmGCRMLX3worL4EMnsnG8MyKmXNeYuhQ=", "owner": "nix-community", "repo": "nixpkgs.lib", - "rev": "72716169fe93074c333e8d0173151350670b824c", + "rev": "f5901329dade4a6ea039af1433fb087bd9c1fe14", "type": "github" }, "original": { diff --git a/src/Prolog.hs b/src/Prolog.hs index 32f7c61..c43c278 100644 --- a/src/Prolog.hs +++ b/src/Prolog.hs @@ -209,8 +209,8 @@ instance H.Writable L.LaTeX where write p = L.renderFile p . H.itemBody -instance Contravariant H.Context where - contramap f (H.Context c) = H.Context $ \x xs -> c x xs . fmap f +-- instance Contravariant H.Context where +-- contramap f (H.Context c) = H.Context $ \x xs -> c x xs . fmap f instance Comonad H.Item where extract = H.itemBody diff --git a/www/teaching/index.md b/www/teaching/index.md index 595f1a5..016064a 100644 --- a/www/teaching/index.md +++ b/www/teaching/index.md @@ -2,33 +2,37 @@ title: Teaching short_title: Teaching --- -If a course listed here doesn't have a link, then the course was administered through Canvas. +If a course listed here doesn't have a link, then the course was administered through Canvas/Moodle. ## Haverford College (2026--Present) Fall 2026 +- **MATH/CMSC H395: Introduction to Discrete Mathematics** + +- **MATH H215: Linear Algebra** + ## Auburn University (2023--2026) Spring 2026 -- **MATH 1120-130: Precalculus** +- **MATH 1120: Precalculus** Fall 2025 -- **MATH 2660-110: Topics in Linear Algebra** +- **MATH 2660: Topics in Linear Algebra** Spring 2025 -- **[MATH 7750-120: Advanced Topics in Graph Theory (Probabilistic Methods)](/teaching/advgraphs2025)** +- **[MATH 7750: Advanced Topics in Graph Theory (Probabilistic Methods)](/teaching/advgraphs2025)** Fall 2024 -- **MATH 1150-080: Precalculus, Algebra and Trigonometry** +- **MATH 1150: Precalculus, Algebra and Trigonometry** Fall 2023 -- **MATH 1120-120: Precalculus** +- **MATH 1120: Precalculus** ## Iowa State University (2020--2023) |