Versions Compared

Old Version 1

changes.mady.by.user Jim Entwood

Saved on

compared with

New Version Current

changes.mady.by.user Jim Entwood

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

...

Following up on the direction of last week's week’s extended seminar, today we will be continuing our discussion of the Nuprl evaluator.

This Friday's Friday’s seminar will take place in Upson 5126 from 12:05-1:00PM.