meow

1 files changed, 4 insertions, 5 deletions

diff --git a/computation/modules.md b/computation/modules.md
index 8ec4b61..cde238c 100644
--- a/computation/modules.md
+++ b/computation/modules.md
@@ -1,9 +1,9 @@
-# Modules
+# modules
 
 An overarching question I've had that I've been unable to resolve: are ML-style modules any more expressive than a system with:
 - polymorphic data types
 - polymorphic interface types
-- first-class modules, that are *not* polymorphic (no functors)?
+- first-class modules that are *not* polymorphic (no functors)?
 
 ## Resources
 
@@ -11,8 +11,7 @@ Papers
 - [F-ing Modules](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/fing-modules/B573FA00832D55D4878863DE1725D90B) (2014)
 
 Posts
-- [Modules Matter Most](https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/)
-  - [Modules Matter Most (presentation)](http://macqueenfest.cs.uchicago.edu/slides/harper.pdf)
+- [Modules Matter Most](https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/) (and [slides](http://macqueenfest.cs.uchicago.edu/slides/harper.pdf))
 - ['Modules Matter Most' for the Masses](https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html)
 - [First-Class Modules: An Introduction](https://dev.realworldocaml.org/first-class-modules.html)
 - [Exotic Programming Ideas: Module Systems](https://www.stephendiehl.com/posts/exotic01.html)
@@ -20,5 +19,5 @@ Posts
 - [UW CSE 341: ML Modules](https://courses.cs.washington.edu/courses/cse341/04wi/lectures/09-ml-modules.html)
 
 Books
-- [ATTAPL Ch. 8: Design Considerations for ML-style Module Systems]()
+- [ATTAPL Ch. 8: Design Considerations for ML-style Module Systems](https://annas-archive.org/md5/7175434efd5620b4b117aa45a01777fa)