Rename & to share and copy to clone

granule-project / granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

https://granule-project.github.io

BSD 3-Clause "New" or "Revised" License

589 stars 33 forks source link

Closed dorchard closed 1 year ago

dorchard commented 1 year ago

For uniqueness typing, we renamed various primitives (in papers and in a branch). This needs adding into dev-minor for a release.

starsandspirals commented 1 year ago

Done - resolved by 5feb175e6d72b64849dac77ec09678fa930142d8!