Skip to content

docs: typed logic compiler over Class/Method/Schema and mask-fold algebra - #357

Merged
AdaWorldAPI merged 4 commits into
mainfrom
docs/typed-logic-algebra-compiler-rfc
Oct 12, 2026
Merged

docs: typed logic compiler over Class/Method/Schema and mask-fold algebra#357
AdaWorldAPI merged 4 commits into
mainfrom
docs/typed-logic-algebra-compiler-rfc

docs: link typed logic compiler proposal from design guards

fe704a0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar