March 16th, 2016, 09:01 pm (no subject) Working on automating visualization of lambda terms since I couldn't convince graphviz to do it the way I wanted: Tags math