exercism / z3

Exercism exercises in Z3.
https://exercism.org/tracks/z3
MIT License
8 stars 13 forks source link

🤖 Simplify `hello-world` stub #82

Closed ErikSchierboom closed 3 years ago

ErikSchierboom commented 3 years ago

Simplify the hello-world exercise's stub. The goal of this is to make things easier for students to get started and to introduce as little syntax as possible.

See https://github.com/exercism/v3-launch/issues/46