M mars-lang.appspot.com Mars: a hybrid imperative-declarative higher-order language 70 points plesner 12 years ago 54 comments