This ,\x -: A . c x = Y unification problem is really annoying.
Checked over a few cases of the completeness proof and they look good.
Still kinda sick but maybe getting better. Really love these custom cast-plastic Settlers-of-Catan tiles: http://imgur.com/gallery/6hfG5
Nice way of showing off easing functions: http://easings.net/
_wirehead_ over on twitter linked to this blogpost which has some thoughts about " Genius Loci". I found it notable initially because it…