Home.md

@@ -14,6 +14,19 @@ Here's the plan
 7. Write a loader that reads `link` code directly into the UM
 8. Create a shell script that works as a "load-and-go assembler" by stitching together the assembler, `link`, and the UM.
 
+# Library and writing work
+
+Find out everything that's known about the **representation of
+algebraic data types**.  Systems to learn about include GHC, Helium,
+yhc, Clean, OCaml, ZINC, SML/NJ, MLton, and the ML\ Kit.
+Try hard to find papers when you can.
+Also try to dig up a paper by Simon PJ on something like a "known
+constructor optimization."
+
+When you've digested all this, write up what you've learned in a short
+survey paper (maybe 2 to 4 pages), along with a recommendation about
+how Jumbo ML should represent values of algebraic data type.
+
 # Ideas for when Norman's away
 
 Possibly some basic functional-programming stuff for the front end: