Translate Rust type constructors to Quint type constructors (quite small change)
Produce nondet values for a wider range of types, including structs, constructors, lists and option types. This will need to be expanded even further, but I thought the progress so far was already enough for a PR
Use type-level polymorphism in our lib files and in the boilerplate code.
We weren't really tracking the lib files so far, but now we are.
This changes were enough to make the zero-to-hero example work soomthly. I have some other examples in my queue to test.
Hello :octocat:
This closes #9
This changes were enough to make the zero-to-hero example work soomthly. I have some other examples in my queue to test.