Jason (jcreed) wrote,
Jason
jcreed

A lot of decent progress doing HLF implementation the last few days. Killed a couple of dumb DeBruijn bugs of a sort that I seem to keep making over and over again, but mostly it's actually a matter of trying to design a set of transformations on contextual ACU unification problems that are enough for the examples I care about, which is actually kind of a fun challenge.
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