{"shas":[["fa794b0a9a1fbb86135391461c0be4516f75d75c","b7a99fad79b1051a754c9ca6fa46da068cc2ef5e@gmail.com","added AM instructions and operational semantics","helino"]],"repo":"helino/wham","actor":"helino","ref":"refs/heads/master","size":1,"head":"fa794b0a9a1fbb86135391461c0be4516f75d75c","actor_gravatar":"188adb49bef9789334fed0fdcd066620","push_id":28768645}