-
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.
pushList : forall {s : Semiring, r : s, a : Type} . {(1 : s) <= r, Pushable r} => (List a) [r] -> List (a [r]) pushList = push @List
-
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).