M marcoeg.medium.com COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master) 62 points marcoeg 1 year ago 19 comments
