We`ve relocated to the Berkshires.
Wendy & I have relocated to the Berkshires. Specifically, we’ve landed in Lenox, MA. And we love it! The town’s motto is: Where city culture meets countr...
Recent posts
Chess game written in Haskell.
I needed a short distraction and was jonezing to write some Haskell again. So, I wrote a simple (and not very good) Chess program.
Getting back on the Agda horse.
I recently reengaged w/ a wonderful band of hackworthy humans doing some very cool things in Agda. I needed to dust off my Agda coding skills and remember ho...