Jason (jcreed) wrote,
Jason
jcreed

-

mid-birthday.

Strange. Things seem to work if I use read() instead
of <$socket>. Sort of have fakey tile placement working.

fp sent me an interesting paper about formalizing categorical
reasoning (concentrating on functoriality and natural isomorphism)
in isabelle.
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