Skip to content

Corrections: Updating text on existing language features… - #26

Merged
marcoeilers merged 1 commit into
masterfrom
meilers_corrections
Jul 7, 2026
Merged

marcoeilers merged 1 commit into
masterfrom
meilers_corrections

Conversation

@marcoeilers

Copy link
Copy Markdown
Contributor

… that were no longer correct or were missing important information:

  • Axioms don't need to have names
  • More options for divisions (different types, clarify defaults)
  • New function permissions semantics
  • Call Silicon and Carbon the SE and VCG backends
  • Fold and unfold no longer allowed with permission amount zero
  • Also some small corrections and TODO implementations

@marcoeilers
marcoeilers requested a review from Aurel300 July 7, 2026 19:14
… longer correct or were missing important information
@Aurel300
Aurel300 force-pushed the meilers_corrections branch from 4348040 to 42c3bee Compare July 7, 2026 20:03
@marcoeilers
marcoeilers merged commit 1599880 into master Jul 7, 2026
2 checks passed
@marcoeilers
marcoeilers deleted the meilers_corrections branch July 7, 2026 20:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants