Closed dorchard closed 7 months ago
@starsandspirals can we put the latest fractional work in this release too?
@jackohughes is everything in here regarding the latest tweaks to synthesis?
@starsandspirals can we put the latest fractional work in this release too?
We can save that for another release. Going to do this one now and we can make a 0.9.6.0 with the updates there
0.9.5.0
Rank N typing (see https://github.com/granule-project/granule/blob/dev-minor/examples/rankN.gr)
Algebraic effects and handlers. See e.g.,
Updated standard docs
Fixes to deriving copyShape and drop combinators
push deriving combinators now have Pushable constraint, e.g.
Minor tweaks to the Granule Language Server to improve vscode interaction (no longer complains on the entire file about 'Premature end of file' whilst typing).