wrote diff using fold--the results were kind of messy
added an mli file