Skip to content

XL-0N: generic LiteralElaboration/OperatorRealization authority — typed literal-to-Zero/Succ homomorphism, operator realization by exact operand structure, structural Peano Nat (no i64 row) - #9719

Closed
gunbai-bot[bot] wants to merge 96 commits into
mainfrom
session/loyal-raven-297
Closed

XL-0N: generic LiteralElaboration/OperatorRealization authority — typed literal-to-Zero/Succ homomorphism, operator realization by exact operand structure, structural Peano Nat (no i64 row)#9719
gunbai-bot[bot] wants to merge 96 commits into
mainfrom
session/loyal-raven-297

XL-0N: regenerated stage0 mirrors and partition re-exports for the ma…

64d16dd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar