{"ref":"spiral-prove3","ref_type":"branch","master_branch":"master","description":"A cleaned-up, stripped-down iteration of the RESOLVE compiler built on top of an ANTLRv4 grammar","pusher_type":"user"}
{"actor":{"display_login":"dtwelch"}}