wrote minimal instructions to run DistEL