Jason (jcreed) wrote,
Jason
jcreed

Advisor meeting: significantly less unpleasant than I feared. In hindsight, not sure why I so feared.

Frank poked a hole in something I was playing with not at all related to thesis whose fix (if correct) rendered the encoding a hojillion times more elegant. That is the best kind of bug to find.

---

Oh, wait, maybe it's still broken. Turns out regarding the sequent calculus version of Frank's labeled natural deduction for S4, it's not even clear what it is.
Tags: work
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments