This “release” is fully dedicated to LSP/MCP improvements and including SMT-solver in the loop.
The new example (./cure examples/smt_error_examples.cure) shows the SMT error messages from the compilation stage. Examples are mostly working (run with ./run_cure.sh examples/03_option_type.cure). LSP somewhat works.
Next week effort would be to polish FSM.
Feed me back if you have anything to say. Literally anything.