/darcs-alloy

Specification of Darcs' Patch Theory Kernel in Alloy

Primary LanguageAlloy

Stargazers