formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Push MAlonzo-generated code to a separate branch

Open WhatisRT opened this issue 1 year ago • 0 comments

There is currently a repository that holds the executable spec which is manually updated. It would be nice to update it automatically, but it's easier to do it on a branch than on a separate repository.

WhatisRT avatar Dec 06 '23 16:12 WhatisRT