model(ergo) Publish alternative base Ergo model used in typechecker - Githubissues

accordproject / models

Accord Project Model Repository

https://models.accordproject.org

Apache License 2.0

29 stars 42 forks source link

model(ergo) Publish alternative base Ergo model used in typechecker #87

Closed jeromesimeon closed 5 years ago

jeromesimeon commented 5 years ago

Signed-off-by: Jerome Simeon jeromesimeon@me.com

jeromesimeon commented 5 years ago

Cannot publish base models... See #21