Jason (jcreed) wrote,
Jason
jcreed
By popular request, the haircut:





Not really all that exciting, is it?

Anyway. Got a lot more thesis hacking done today. Digging into the algorithmic equality stuff. I think it really is necessary to keep track of relevance labels in contexts, but I don't think I'm going to need to check algorithmic self-equality at the irrelevant application structural equality rule, for instance. Sadly, I may not have enough time to fit unification results into the thesis.
Subscribe

  • (no subject)

    The way per-language auto-indentation works in emacs is really no small amount of black magic, apparently. Either you're lucky and you have a C-like…

  • (no subject)

    Emacs TIL* du jour: indent-rigidly (start end arg) Indent all lines starting in the region sideways by ARG columns. Called from a program, takes…

  • (no subject)

    Today I learned that C-c C-c and C-u C-c C-c are comment and uncomment region in (at least) C-mode in emacs. All these years I've been doing M-x…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    switch
    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    Help
  • 11 comments

  • (no subject)

    The way per-language auto-indentation works in emacs is really no small amount of black magic, apparently. Either you're lucky and you have a C-like…

  • (no subject)

    Emacs TIL* du jour: indent-rigidly (start end arg) Indent all lines starting in the region sideways by ARG columns. Called from a program, takes…

  • (no subject)

    Today I learned that C-c C-c and C-u C-c C-c are comment and uncomment region in (at least) C-mode in emacs. All these years I've been doing M-x…