Skip to content

Add Number literals for any SuccessorSet#2406

Closed
jamesmckinna wants to merge 11 commits intoagda:masterfrom
jamesmckinna:algebra-literals

Commits

Commits on Jun 10, 2024

Commits on Jun 11, 2024

Commits on Jul 27, 2024

Commits on Aug 3, 2024

Commits on Dec 7, 2024

Commits on Dec 9, 2024