Jason (jcreed) wrote,
Jason
jcreed

I think I just realized a simplification to the way I've been trying to write up proof irrelevance in the canonical forms/hereditary substitution style.

Going climbing on Wednesday, all plannin'-ahead style.
Tags: climbing, math
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 

  • 1 comment