examples updated
examples updated
examples updated
examples done
Update README.md
bijection example
Merge branch 'v0.3' of https://github.com/haslab/echo into v0.3
bijection example
bijection example
multiplicity examples
multiplicity examples
Update README.md
multiplicity examples
Update README.md
multiplicities metamodels
multiplicities models
type checking constraints
Merge branch 'v0.3' of https://github.com/haslab/echo into v0.3
examples updated
Update README.md