v0.9.0.0

• Major features:

  • Uniqueness modality and mutable arrays
    • https://granule-project.github.io/papers/esop22-paper.pdf
  • Session types with non-linear behaviours
    • https://arxiv.org/abs/2203.12875
  • Granule -> Haskell compiler (grc)
  • language-server protocol

• New graded modalities / improvements

  • LNL semiring (Zero, One, Many) recovers linear logic via new hsup operation
    to control 'push' behaviour on tensors. See: https://hal-lirmm.ccsd.cnrs.fr/TLLA2021/lirmm-03271465

  • Any semiring can now be lifted to a top-completed semiring with Ext (previously only allowed for Nat)

• Language extensions and pragmas: See: https://github.com/granule-project/granule/wiki/Language-Extensions

  • Includes CBN interpreter as an option

• Bug fixes:

  • Bug fixes related to sensitivity analysis
  • Bug fixes relating to derived operation copyShape
  • Improved interpreter

• Tons of minor improvements

  • Error messages are sometimes more intuitive
  • Various additional primitives