Permalink
Switch branches/tags
Nothing to show
Commits on Jul 14, 2012
  1. Minor edit.

    larrytheliquid committed Jul 14, 2012
  2. Minor edits.

    larrytheliquid committed Jul 14, 2012
  3. Funny turnstyle joke

    larrytheliquid committed Jul 14, 2012
  4. Move posts into the "posts" directory.

    larrytheliquid committed Jul 14, 2012
    Dealing with the former year/month directory structure is too much of
    a hassle. Traversing down directories is annoying by itself, and
    having to worry about a post being written in one month but eventually
    published in the next is not pleasant.
    
    Keeping things just one directory down in "posts" will prevent the
    homepage README from being obscured when many posts exist.
Commits on Jul 13, 2012
  1. Source code

    larrytheliquid committed Jul 13, 2012
  2. Minor edits.

    larrytheliquid committed Jul 13, 2012
  3. Start the wrap up.

    larrytheliquid committed Jul 13, 2012
Commits on Jul 12, 2012
  1. Update master

    larrytheliquid committed Jul 12, 2012
  2. Update master

    larrytheliquid committed Jul 12, 2012
  3. Changes headers

    larrytheliquid committed Jul 12, 2012
  4. Describe some of motivation behind the denotational semantics style o…

    larrytheliquid committed Jul 12, 2012
    …f representing isomorphic types.
Commits on Jul 11, 2012
  1. Add first post

    larrytheliquid committed Jul 11, 2012
  2. Updated README.md

    larrytheliquid committed Jul 11, 2012
  3. Updated README.md

    larrytheliquid committed Jul 11, 2012
  4. Change README title

    larrytheliquid committed Jul 11, 2012
  5. Initial commit

    larrytheliquid committed Jul 11, 2012