Jason (jcreed) wrote,
Jason
jcreed
I'm a long way back into the world of the productive from my earlier freaking out. Have a much better handle on how to implement existential variables now; context manipulation is "handling itself" much more often thanks to merely carrying out substitutions at the right time. Now I just have to implement the critical case of higher-order pattern matching where an evar is actually instantiated, and I'll be able to start testing and debugging. Perfect time to take a break and get dinner!
Subscribe

  • (no subject)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Thai curry leftovers for dinner. Got a copy of Hennessy and Patterson's textbook on Architecture, and I am enjoying catching up on all the low-level…

  • (no subject)

    Finally the end is in sight for unpacking my books. Heartstrings are pulled over the desire to slim down and get rid of some of them, but so many are…

  • 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 

    Help
  • 0 comments