Picking up where I left off.
I finished writing the outline (in the tex file) for the section I have absorbed; this is most of the selftypes paper. I have copied over the introductory writeup I did before and touched up the presentation to be a little less formal and a little clearer.
Let me know how it looks.
Today was a short day because of kung fu practice. Tomorrow will be longer.
Let me know how it looks.
Today was a short day because of kung fu practice. Tomorrow will be longer.
2 Comments:
Glad to see additions to the term paper itself.
We may want to consider a more significant way to mark the transition from lambda calculi to object calculi.
Also, you have missing references in the bib file.
Yeah, I need work on the actual presentation, but I'm going to focus on getting the technical details in first and then refine.
I know I haven't done the bibliography yet, I'm leaving that til later too. One thing at a time.
Post a Comment
<< Home